The Logics Containing S 4.3
From MaRDI portal
Publication:5635425
DOI10.1002/malq.19710170141zbMath0228.02011OpenAlexW1986094041MaRDI QIDQ5635425
Publication date: 1971
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19710170141
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)
Related Items
Axiomatization and completeness of lexicographic products of modal logics, Some normal extensions of K4.3, The structure of lattices of subframe logics, On linear Brouwerian logics, Hereditarily structurally complete modal logics, Finitary unification in locally tabular modal logics characterized, In search of a ``true logic of knowledge: the nonmonotonic perspective, Critical notice to: D. M. Gabbay's Investigations in modal and tense logics with applications to problems in philosophy and linguistics, FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3, A classification of modal logics, Some kinds of modal completeness, Mathematical modal logic: A view of its evolution, Canonical formulas for K4. Part II: Cofinal subframe logics, About the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders: A New Study of Its Computability, CANONICAL FORMULAS FOR wK4, TYCHONOFF HED-SPACES AND ZEMANIAN EXTENSIONS OF S4.3, Modal companions of intermediate propositional logics, Kripke semantics for modal systems including S4.3, Hereditarily finitely axiomatizable extensions of logic S4, The extensions of \(BAlt_3\), STABLE MODAL LOGICS, The power of a propositional constant, On Finite Model Property for Admissible Rules, Syntax and semantics of modal logics containing S4, Axiomatization and Completeness of Lexicographic Products of Modal Logics, The decidability of normal K5 logics, Modal logics of domains on the real plane, In search of a ``true logic of knowledge: The nonmonotonic perspective, Admissible rules for logics containing S4.3, Logics containing K4. Part II
