Monotone subintuitionistic logic: duality and transfer results

DOI10.1215/00294527-2022-0014OpenAlexW4281750339MaRDI QIDQ2153831

Dirk Pattinson, Jim de Groot

Publication date: 13 July 2022

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

Full work available at URL: https://doi.org/10.1215/00294527-2022-0014

zbMATH Keywords

dualitysubintuitionistic logicmonotone neighborhood framesposet-based semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Coalgebraic semantics of modal logics: an overview
• A Sahlqvist theorem for distributive modal logic
• A propositional logic with explicit fixed points
• Subintuitionistic logics
• A new semantics for positive modal logic
• A closer look at some subintuitionistic logics
• Universal coalgebra: A theory of systems
• Lewis meets Brouwer: constructive strict implication
• Subintuitionistic logics and the implications they prove
• Positive modal logic
• Positive monotone modal logic
• Binary modal companions for subintuitionistic logics
• Neighborhood Semantics for Basic and Intuitionistic Logic
• Positive fragments of coalgebraic logics
• The Goldblatt-Thomason Theorem for Coalgebras
• Weak Logics with Strict Implication
• Weak subintuitionistic logics
• Bounded distributive lattices with strict implication
• Bounded distributive lattice expansions
• Modal Intuitionistic Logics as Dialgebraic Logics
• Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Foundations of Software Science and Computation Structures
• Two neighborhood semantics for subintuitionistic logics

This page was built for publication: Monotone subintuitionistic logic: duality and transfer results