Maslov’s Class K Revisited
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 172-186
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Issues of Decidability for Description Logics in the Framework of ResolutionLecture Notes in Computer Science, 2000
- Rewrite-based Equational Theorem Proving with Selection and SimplificationJournal of Logic and Computation, 1994
- Resolution Methods for the Decision Problem1993
- A Note on Boolean Modal Logic1990
- The unsolvability of the Gödel class with identityThe Journal of Symbolic Logic, 1984
- On languages with two variablesMathematical Logic Quarterly, 1975