A normal modal calculus between T and S4 without the finite model property
From MaRDI portal
Publication:5575528
DOI10.2307/2270978zbMath0184.00806MaRDI QIDQ5575528
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
03-XX: Mathematical logic and foundations
Related Items
An axiomatization of the modal theory of the veiled recession frame, 3-SAT = SAT for a class of normal modal logics, Kripke incomplete logics containing KTB, 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, Some descending chains of incomplete modal logics, Mathematical modal logic: A view of its evolution, A simple incomplete extension of T which is the union of two complete modal logics with f. m. p, Syntactic refutations against finite models in modal logic, On decidable, finitely axiomatizable, modal and tense logics without the finite model property. I, II
Cites Work