A new semantics for positive modal logic

DOI10.1305/ndjfl/1039700693zbMath0889.03014OpenAlexW2068658258MaRDI QIDQ1377550

Sergio Arturo 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)

Related Items (19)

Negative modalities, consistency and determinedness ⋮ On the deductive system of the order of an equationally orderable quasivariety ⋮ Hennessy-Milner and van Benthem for instantial neighbourhood logic ⋮ Monotone subintuitionistic logic: duality and transfer results ⋮ Categorical abstract algebraic logic: referential algebraic semantics ⋮ The strong version of a sentential logic ⋮ Non-normal modal logics and conditional logics: semantic analysis and proof theory ⋮ Complete Abstractions and Subclassical Modal Logics ⋮ On the positive fragment of the polymodal provability logic GLP ⋮ Simple and subdirectly irreducibles bounded distributive lattices with unary operators ⋮ Positive monotone modal logic ⋮ An intriguing logic with two implicational connectives ⋮ Coalgebraic Completeness-via-Canonicity ⋮ Bounded lattice expansions ⋮ A Sahlqvist theorem for distributive modal logic ⋮ KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS ⋮ Completeness and incompleteness for anodic modal logics ⋮ VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS ⋮ Negation in the context of gaggle theory

Cites Work

• Models for normal intuitionistic modal logics
• Models for stronger normal intuitionistic modal logics
• Positive modal logic
• Unnamed Item

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