Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic

DOI10.1093/jigpal/7.6.683zbMath0948.03013OpenAlexW2113285974MaRDI QIDQ4934881

Ramon Jansana, Sergio Arturo Celani

Publication date: 3 April 2000

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/7.6.683

zbMATH Keywords

framessequent calculuspositive modal logicsemantics based on intuitionist logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items

Hennessy-Milner and van Benthem for instantial neighbourhood logic ⋮ An Abstract Algebraic Logic View on Judgment Aggregation ⋮ Coalgebraic Geometric Logic: Basic Theory ⋮ Generalized Kripke frames ⋮ On Sahlqvist formulas in relevant logic ⋮ The strong version of a sentential logic ⋮ Sequent systems for negative modalities ⋮ Remarks on hyperspaces for Priestley spaces ⋮ Algorithmic correspondence and canonicity for distributive modal logic ⋮ Relational semantics for normal topological quasi-Boolean logic ⋮ Positive modal logic beyond distributivity ⋮ Simple and subdirectly irreducibles bounded distributive lattices with unary operators ⋮ Positive monotone modal logic ⋮ A coalgebraic view on positive modal logic ⋮ A Sahlqvist theorem for distributive modal logic ⋮ POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION ⋮ Algorithmic correspondence and canonicity for non-distributive logics ⋮ Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information ⋮ KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS ⋮ Classical modal De Morgan algebras ⋮ A Catalog ofWeak Many-Valued Modal Axioms and their Corresponding Frame Classes ⋮ Completeness and incompleteness for anodic modal logics ⋮ VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS ⋮ Quasi-modal lattices ⋮ Constructive Modalities with Provability Smack ⋮ Modal operators on compact regular frames and de Vries algebras.