Pages that link to "Item:Q2743648"
From MaRDI portal
The following pages link to Kripke-style semantics of orthomodular logics (Q2743648):
Displaying 7 items.
- Kripke style semantic for the logic of two valued-states (Q682655) (← links)
- Advanced Kripke frame for quantum logic (Q1799288) (← links)
- Effective semantics for the modal logics K and KT via non-deterministic matrices (Q2104537) (← links)
- Semantic characterization of Kracht formulas (Q2904056) (← links)
- Modal-type orthomodular logic (Q3632528) (← links)
- Kripke‐style semantics for many‐valued logics (Q4452457) (← links)
- (Q4703142) (← links)