The following pages link to Positive modal logic (Q1902555):
Displaying 29 items.
- Completeness and incompleteness for anodic modal logics (Q3400790) (← links)
- Univers positifs (Q3410683) (← links)
- Autoreferential semantics for many-valued modal logics (Q3647288) (← links)
- (Q3686700) (← links)
- Full models for positive modal logic (Q4530155) (← links)
- (Q4625704) (← links)
- On Displaying Negative Modalities (Q4683222) (← links)
- POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION (Q4933590) (← links)
- Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic (Q4934881) (← links)
- Interpretations of Weak Positive Modal Logics (Q5020162) (← links)
- ON EQUATIONAL COMPLETENESS THEOREMS (Q5052010) (← links)
- Coalgebraic Geometric Logic: Basic Theory (Q5060182) (← links)
- (Q5101334) (← links)
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (Q5222523) (← links)
- A Semantic Analysis of Stone and Dual Stone Negations with Regularity (Q5224497) (← links)
- VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS (Q5241233) (← links)
- Coalgebraic Completeness-via-Canonicity (Q5739456) (← links)
- A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC (Q5741613) (← links)
- QUANTIFIED MODAL RELEVANT LOGICS (Q5880427) (← links)
- Linear Logic Properly Displayed (Q5886520) (← links)
- Bounded lattice expansions (Q5936163) (← links)
- Varieties of Relevant S5 (Q6107284) (← links)
- AN ESCAPE FROM VARDANYAN’S THEOREM (Q6140187) (← links)
- Positive modal logic beyond distributivity (Q6179826) (← links)
- A study of algebraic structures and logics based on categories of rough sets (Q6535069) (← links)
- One variable relevant logics are S5Ish (Q6606834) (← links)
- Natural dualities for varieties generated by finite positive MV-chains (Q6610058) (← links)
- Algebras and relational frames for Gödel modal logic and some of its extensions (Q6623950) (← links)
- Polynomial-time checking of generalized Sahlqvist syntactic shape (Q6639733) (← links)
