Decidability results in non-classical logics: Part I
- 31 July 1975
- journal article
- Published by Elsevier in Annals of Mathematical Logic
- Vol. 8 (3) , 237-295
- https://doi.org/10.1016/0003-4843(75)90004-2
Abstract
No abstract availableThis publication has 19 references indexed in Scilit:
- A sequence of decidable finitely axiomatizable intermediate logics with the disjunction propertyThe Journal of Symbolic Logic, 1974
- The undecidability of intuitionistic theories of algebraically closed fields and real closed fieldsThe Journal of Symbolic Logic, 1973
- Decidability of some intuitionistic predicate theoriesThe Journal of Symbolic Logic, 1972
- Sufficient conditions for the undecidability of intuitionistic theories with applicationsThe Journal of Symbolic Logic, 1972
- Applications of trees to intermediate logicsThe Journal of Symbolic Logic, 1972
- The decidability of the Kreisel-Putnam systemThe Journal of Symbolic Logic, 1970
- An algebraic study of tense logics with linear timeThe Journal of Symbolic Logic, 1968
- On the strong semantical completeness of the intuitionistic predicate calculusThe Journal of Symbolic Logic, 1968
- Algebraic semantics for modal logics IThe Journal of Symbolic Logic, 1966
- Family ${\rm K}$ of the non-Lewis modal systems.Notre Dame Journal of Formal Logic, 1964