A normal modal calculus between T and S4 without the finite model property

DOI10.2307/2270978zbMath0184.00806OpenAlexW2102002459MaRDI QIDQ5575528

David Makinson

Publication date: 1969

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2270978

zbMATH Keywords

general logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items

Syntactic refutations against finite models in modal logic, An axiomatization of the modal theory of the veiled recession frame, Critical notice to: D. M. Gabbay's Investigations in modal and tense logics with applications to problems in philosophy and linguistics, Modal logics with no minimal proper extensions, Nonfinitely approximable intuitionistic modal logics, Some kinds of modal completeness, Mathematical modal logic: A view of its evolution, Some descending chains of incomplete modal logics, 3-SAT = SAT for a class of normal modal logics, Kripke incomplete logics containing KTB, On decidable, finitely axiomatizable, modal and tense logics without the finite model property. I, II, A simple incomplete extension of T which is the union of two complete modal logics with f. m. p

Cites Work

• That All Normal Extensions of S4.3 Have the Finite Model Property