A new semantics for positive modal logic
From MaRDI portal
Publication:1377550
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
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
This page was built for publication: A new semantics for positive modal logic
