The extensions of the modal logic K5
From MaRDI portal
Publication:3712313
DOI10.2307/2273793zbMath0586.03012OpenAlexW2127907968MaRDI QIDQ3712313
Michael C. Nagle, S. K. Thomason
Publication date: 1985
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273793
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)
Related Items
Book review of: J. W. Garson, Modal logic for philosophers. 2nd ed., About the unification type of \(\mathbf{K}+\square \square \bot\), Axiomatization and completeness of lexicographic products of modal logics, Complexity of finite-variable fragments of propositional temporal and modal logics of computation, The structure of lattices of subframe logics, Definability in the class of all -frames – computability and complexity, Unnamed Item, The complexity of identifying characteristic formulae, Axiomatization and Completeness of Lexicographic Products of Modal Logics, Uniform Lyndon interpolation property in propositional modal logics, On Kripke completeness of modal predicate logics around quantified \textbf{K5}
