A new semantics for positive modal logic

DOI10.1305/NDJFL/1039700693zbMATH Open0889.03014OpenAlexW2068658258MaRDI QIDQ1377550FDOQ1377550

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

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

zbMATH Keywords

completenesspositive modal logicKripke-style semanticscanonical frames and models

Mathematics Subject Classification ID

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

Cites Work

• Positive modal logic
• Models for stronger normal intuitionistic modal logics
• Models for normal intuitionistic modal logics
• Title not available (Why is that?)

Cited In (25)

• Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
• Non-normal modal logics and conditional logics: semantic analysis and proof theory
• Title not available (Why is that?)
• An intriguing logic with two implicational connectives
• Negative modalities, consistency and determinedness
• 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
• Negation in the context of gaggle theory
• Bounded lattice expansions
• On the deductive system of the order of an equationally orderable quasivariety
• VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS
• Hennessy-Milner and van Benthem for instantial neighbourhood logic
• On the positive fragment of the polymodal provability logic GLP
• Positive modal logic
• Monotone subintuitionistic logic: duality and transfer results
• Positive monotone modal logic
• Coalgebraic Completeness-via-Canonicity
• A note on the model theory for positive modal logic
• The strong version of a sentential logic
• Complete Abstractions and Subclassical Modal Logics
• Categorical abstract algebraic logic: referential algebraic semantics
• Simple and subdirectly irreducibles bounded distributive lattices with unary operators
• Positive logics
• Title not available (Why is that?)

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)