Pages that link to "Item:Q2538520"
From MaRDI portal
The following pages link to Some embedding theorems for modal logic (Q2538520):
Displaying 27 items.
- The power of a propositional constant (Q742479) (← links)
- An algebraic theory of normal forms (Q1346245) (← links)
- The structure of lattices of subframe logics (Q1361249) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics (Q2108580) (← links)
- Orthogonal frames and indexed relations (Q2148794) (← links)
- A note on the issue of cohesiveness in canonical models (Q2209168) (← links)
- On pretabular logics in NExtK4. II (Q2258999) (← links)
- Invariant logics (Q2776808) (← links)
- Some Computational Constraints in Epistemic Logic (Q2971698) (← links)
- Commutativity of Quantifiers in Varying-Domain Kripke Models (Q3600561) (← links)
- Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property (Q3655206) (← links)
- The lattice of modal logics: an algebraic investigation (Q3875896) (← links)
- Splitting lattices of logics (Q3900020) (← links)
- Properties of independently axiomatizable bimodal logics (Q3984418) (← links)
- Reduction of tense logic to modal logic. I (Q4077978) (← links)
- Rough polyadic modal logics (Q4240676) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
- LOGICS FOR PROPOSITIONAL CONTINGENTISM (Q5274876) (← links)
- Post completeness in modal logic (Q5684643) (← links)
- Continuum many maximal consistent normal bimodal logics with inverses (Q5937810) (← links)
- CARNAP’S PROBLEM FOR MODAL LOGIC (Q6045103) (← links)
- DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC (Q6131230) (← links)
- Axiomatizability of propositionally quantified modal logics on relational frames (Q6545089) (← links)
- Tabularity and post-completeness in tense logic (Q6552266) (← links)
- About the unification types of modal logics (Q6612813) (← links)
- On Ivlev's semantics for modality (Q6623952) (← links)
