On decidable, finitely axiomatizable, modal and tense logics without the finite model property. I, II

DOI10.1007/BF02771736zbMath0231.02023OpenAlexW2024323201MaRDI QIDQ2550380

Dov M. Gabbay

Publication date: 1971

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02771736

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)

Related Items (3)

Mathematical modal logic: A view of its evolution ⋮ Lattices of finitely alternative normal tense logics ⋮ A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property

Cites Work

• Model theory for tense logics
• Decidability results in non-classical logics
• A normal modal calculus between T and S4 without the finite model property
• Decidability of Second-Order Theories and Automata on Infinite Trees

This page was built for publication: On decidable, finitely axiomatizable, modal and tense logics without the finite model property. I, II