Modal Languages and Bounded Fragments of Predicate Logic
- 1 June 1998
- journal article
- Published by Springer Nature in Journal of Philosophical Logic
- Vol. 27 (3) , 217-274
- https://doi.org/10.1023/a:1004275029985
Abstract
No abstract availableKeywords
This publication has 27 references indexed in Scilit:
- Beth's and Craig's properties via epimorphisms and amalgamation in algebraic logicPublished by Springer Nature ,2005
- On cylindric algebraic model theoryPublished by Springer Nature ,2005
- On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logicJournal of Logic, Language and Information, 1995
- Logic of transition systemsJournal of Logic, Language and Information, 1994
- Finite H-dimension does not imply expressive completenessJournal of Philosophical Logic, 1994
- Semantics-Based Translation Methods for Modal LogicsJournal of Logic and Computation, 1991
- Cylindric-relativised set algebras have strong amalgamationThe Journal of Symbolic Logic, 1985
- The metatheory of the classical propositional calculus is not axiomatizableThe Journal of Symbolic Logic, 1985
- Modal reduction principlesThe Journal of Symbolic Logic, 1976
- Nonfinitizability of classes of representable cylindric algebrasThe Journal of Symbolic Logic, 1969