Pages that link to "Item:Q1377550"
From MaRDI portal
The following pages link to A new semantics for positive modal logic (Q1377550):
Displaying 19 items.
- Negative modalities, consistency and determinedness (Q276032) (← links)
- On the deductive system of the order of an equationally orderable quasivariety (Q295923) (← links)
- Categorical abstract algebraic logic: referential algebraic semantics (Q368473) (← links)
- An intriguing logic with two implicational connectives (Q698537) (← links)
- A Sahlqvist theorem for distributive modal logic (Q705532) (← links)
- Negation in the context of gaggle theory (Q813083) (← links)
- The strong version of a sentential logic (Q1680515) (← links)
- Hennessy-Milner and van Benthem for instantial neighbourhood logic (Q2144186) (← links)
- Monotone subintuitionistic logic: duality and transfer results (Q2153831) (← links)
- Positive monotone modal logic (Q2243549) (← links)
- On the positive fragment of the polymodal provability logic GLP (Q2435945) (← links)
- Simple and subdirectly irreducibles bounded distributive lattices with unary operators (Q2469035) (← links)
- Non-normal modal logics and conditional logics: semantic analysis and proof theory (Q2672662) (← links)
- Complete Abstractions and Subclassical Modal Logics (Q2961561) (← links)
- Completeness and incompleteness for anodic modal logics (Q3400790) (← links)
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (Q5222523) (← links)
- VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS (Q5241233) (← links)
- Coalgebraic Completeness-via-Canonicity (Q5739456) (← links)
- Bounded lattice expansions (Q5936163) (← links)
