The following pages link to Modal multilattice logic (Q1682294):
Displaying 22 items.
- Levels of modality for BDI logic (Q456714) (← links)
- Forum: A multiple-conclusion specification logic (Q671512) (← links)
- Multi-dimensional modal logic (Q1379287) (← links)
- A decidable multi-modal logic of context (Q1414576) (← links)
- Encoding modal logics in logical frameworks (Q1577344) (← links)
- Compositional meaning in logic (Q1682292) (← links)
- Modal extension of ideal paraconsistent four-valued logic and its subsystem (Q2004955) (← links)
- Mechanised modal model theory (Q2096473) (← links)
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation (Q2236504) (← links)
- (Q2853717) (← links)
- Modular Markovian Logic (Q3012934) (← links)
- A Modal Logic for Multiple-Source Tolerance Approximation Spaces (Q3063975) (← links)
- On a multilattice analogue of a hypersequent S5 calculus (Q3387898) (← links)
- Modulated logics and flexible reasoning (Q3620397) (← links)
- (Q3990459) (← links)
- Modal multilattice logics with Tarski, Kuratowski, and Halmos operators (Q5013628) (← links)
- MEREOLOGICAL BIMODAL LOGICS (Q5046599) (← links)
- (Q5144357) (← links)
- Two proofs of the algebraic completeness theorem for multilattice logic (Q5243396) (← links)
- Falsification-aware calculi and semantics for normal modal logics including S4 and S5 (Q6169323) (← links)
- UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC (Q6170504) (← links)
- Algebraic completeness of connexive and bi-intuitionistic multilattice logics (Q6612001) (← links)
