A new semantics for positive modal logic

DOI10.1305/NDJFL/1039700693MaRDI QIDQ1377550zbMATHOpenAlexFDO

Authors Sergio A. Celani, Ramon Jansana

Publication date 10 May 1998

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1039700693

zbMATH Keywords

completenesspositive modal logicKripke-style semanticscanonical frames and models

Mathematics Subject Classification ID

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

Recommendations

• Positive modal logic
• Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
• Positive monotone modal logic
• Completeness and incompleteness for anodic modal logics

Cites work

• scientific article; zbMATH DE number 1163568 (Why is no real title available?)
• Models for normal intuitionistic modal logics
• Models for stronger normal intuitionistic modal logics
• Positive modal logic

Cited in

(26)

• Kripke completeness of strictly positive modal logics over meet-semilattices with operators
• Negation in the context of gaggle theory
• A note on the model theory for positive modal logic
• Hennessy-Milner and van Benthem for instantial neighbourhood logic
• Negative modalities, consistency and determinedness
• scientific article; zbMATH DE number 1747706 (Why is no real title available?)
• Interpretations of weak positive modal logics
• Simple and subdirectly irreducibles bounded distributive lattices with unary operators
• Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
• Monotone subintuitionistic logic: duality and transfer results
• Categorical abstract algebraic logic: referential algebraic semantics
• Positive monotone modal logic
• A Sahlqvist theorem for distributive modal logic
• The strong version of a sentential logic
• VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS
• Coalgebraic Completeness-via-Canonicity
• Complete abstractions and subclassical modal logics
• Completeness and incompleteness for anodic modal logics
• On the positive fragment of the polymodal provability logic GLP
• Positive logics
• An intriguing logic with two implicational connectives
• Non-normal modal logics and conditional logics: semantic analysis and proof theory
• Bounded lattice expansions
• Positive modal logic
• On the deductive system of the order of an equationally orderable quasivariety
• scientific article; zbMATH DE number 1471997 (Why is no real title available?)

This page was built for publication: A new semantics for positive modal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1377550)