Some embedding theorems for modal logic
From MaRDI portal
Cited in
(31)- An algebraic theory of normal forms
- The structure of lattices of subframe logics
- Mathematical modal logic: A view of its evolution
- Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics
- Orthogonal frames and indexed relations
- A note on the issue of cohesiveness in canonical models
- On pretabular logics in NExtK4. II
- Invariant logics
- Some computational constraints in epistemic logic
- Commutativity of Quantifiers in Varying-Domain Kripke Models
- Products of modal logics with diagonal constant lacking the finite model property
- The lattice of modal logics: an algebraic investigation
- Splitting lattices of logics
- Properties of independently axiomatizable bimodal logics
- Reduction of tense logic to modal logic. I
- Rough polyadic modal logics
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
- Logics for propositional contingentism
- Post completeness in modal logic
- Continuum many maximal consistent normal bimodal logics with inverses
- CARNAP’S PROBLEM FOR MODAL LOGIC
- DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC
- Deduction theorem in congruential modal logics
- Axiomatizability of propositionally quantified modal logics on relational frames
- Tabularity and post-completeness in tense logic
- About the unification types of modal logics
- On Ivlev's semantics for modality
- RNmatrices for modal logics
- Modal logics -- RNmatrices vs. Nmatrices
- Pretabular tense logics over \(\mathsf{S4}_t\)
- The power of a propositional constant
This page was built for publication: Some embedding theorems for modal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2538520)
