Maslov’s Class K Revisited

This publication has 8 references indexed in Scilit:

• A superposition decision procedure for the guarded fragment with equality
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• The two-variable guarded fragment with transitive relations
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Issues of Decidability for Description Logics in the Framework of Resolution
  Published by Springer Nature ,2000
• Rewrite-based Equational Theorem Proving with Selection and Simplification
  Journal of Logic and Computation, 1994
• Resolution Methods for the Decision Problem
  Published by Springer Nature ,1993
• A Note on Boolean Modal Logic
  Published by Springer Nature ,1990
• The unsolvability of the Gödel class with identity
  The Journal of Symbolic Logic, 1984
• On languages with two variables
  Mathematical Logic Quarterly, 1975