Pages that link to "Item:Q5771194"
From MaRDI portal
The following pages link to Algebraic postulates and a geometric interpretation for the Lewis calculus of strict implication (Q5771194):
Displayed 11 items.
- Algebraic models of deviant modal operators based on De Morgan and Kleene lattices (Q433065) (← links)
- Dynamic topological logic (Q705534) (← links)
- Propositional quantification in the topological semantics for \(\mathbf S4\) (Q1381441) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- On modal logics arising from scattered locally compact Hausdorff spaces (Q1731840) (← links)
- A topological approach to full belief (Q2421518) (← links)
- Topological models of propositional logic of problems and propositions (Q2688115) (← links)
- KRULL DIMENSION IN MODAL LOGIC (Q4600458) (← links)
- Some Formal Semantics for Epistemic Modesty (Q5006835) (← links)
- MEREOLOGICAL BIMODAL LOGICS (Q5046599) (← links)
- POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION (Q6123585) (← links)