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 (12)

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

This page was built for publication: A normal modal calculus between T and S4 without the finite model property