Pages that link to "Item:Q3712313"
From MaRDI portal
The following pages link to The extensions of the modal logic <i>K</i>5 (Q3712313):
Displayed 11 items.
- Book review of: J. W. Garson, Modal logic for philosophers. 2nd ed. (Q284232) (← links)
- Uniform Lyndon interpolation property in propositional modal logics (Q781510) (← links)
- The structure of lattices of subframe logics (Q1361249) (← links)
- The complexity of identifying characteristic formulae (Q1987735) (← links)
- On Kripke completeness of modal predicate logics around quantified \textbf{K5} (Q2105091) (← links)
- About the unification type of \(\mathbf{K}+\square \square \bot\) (Q2134937) (← links)
- Complexity of finite-variable fragments of propositional temporal and modal logics of computation (Q2148903) (← links)
- Axiomatization and completeness of lexicographic products of modal logics (Q2901209) (← links)
- Axiomatization and Completeness of Lexicographic Products of Modal Logics (Q3655198) (← links)
- Definability in the class of all -frames – computability and complexity (Q4586217) (← links)
- (Q6191004) (← links)