The extensions of the modal logic K5
From MaRDI portal
Publication:3712313
DOI10.2307/2273793zbMath0586.03012MaRDI 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
03B45: Modal logic (including the logic of norms)
03B25: Decidability of theories and sets of sentences
Related Items
Definability in the class of all -frames – computability and complexity, Unnamed Item, Book review of: J. W. Garson, Modal logic for philosophers. 2nd ed., Uniform Lyndon interpolation property in propositional modal logics, The structure of lattices of subframe logics, The complexity of identifying characteristic formulae, On Kripke completeness of modal predicate logics around quantified \textbf{K5}, About the unification type of \(\mathbf{K}+\square \square \bot\), Complexity of finite-variable fragments of propositional temporal and modal logics of computation, Axiomatization and completeness of lexicographic products of modal logics, Axiomatization and Completeness of Lexicographic Products of Modal Logics