Pages that link to "Item:Q4934881"
From MaRDI portal
The following pages link to Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic (Q4934881):
Displaying 31 items.
- Algorithmic correspondence and canonicity for distributive modal logic (Q409328) (← links)
- A coalgebraic view on positive modal logic (Q703528) (← links)
- A Sahlqvist theorem for distributive modal logic (Q705532) (← links)
- Classical modal De Morgan algebras (Q763322) (← links)
- Generalized Kripke frames (Q863180) (← links)
- A new semantics for positive modal logic (Q1377550) (← links)
- On Sahlqvist formulas in relevant logic (Q1670491) (← links)
- The strong version of a sentential logic (Q1680515) (← links)
- Sequent systems for negative modalities (Q1682296) (← links)
- Hennessy-Milner and van Benthem for instantial neighbourhood logic (Q2144186) (← links)
- Positive monotone modal logic (Q2243549) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- Modal operators on compact regular frames and de Vries algebras. (Q2350317) (← links)
- Simple and subdirectly irreducibles bounded distributive lattices with unary operators (Q2469035) (← links)
- Quasi-modal lattices (Q2572469) (← links)
- Remarks on hyperspaces for Priestley spaces (Q2680995) (← links)
- Positive logic with adjoint modalities: proof theory, semantics and reasoning about information (Q2805170) (← links)
- A note on the model theory for positive modal logic (Q2882459) (← links)
- Completeness and incompleteness for anodic modal logics (Q3400790) (← links)
- An Abstract Algebraic Logic View on Judgment Aggregation (Q3457691) (← links)
- A Catalog ofWeak Many-Valued Modal Axioms and their Corresponding Frame Classes (Q3647203) (← links)
- Derivation rules as anti-axioms in modal logic (Q4276034) (← links)
- (Q4542610) (← links)
- POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION (Q4933590) (← links)
- Coalgebraic Geometric Logic: Basic Theory (Q5060182) (← 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)
- Constructive Modalities with Provability Smack (Q5255796) (← links)
- (Q5884960) (← links)
- Positive modal logic beyond distributivity (Q6179826) (← links)
- Algebras and relational frames for Gödel modal logic and some of its extensions (Q6623950) (← links)
