Intuitionistic logic of a binary modality

DOI10.1007/S00153-026-01025-3MaRDI QIDQ7402639zbMATH OpenFDO

Authors Michael Kaminski

Publication date 2026

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S00153-026-01025-3

zbMATH Keywords

binary modalityintuitionistic logicrelational semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intuitionistic mathematics (03F55) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Cites work

• A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
• Boolean Algebras with Operators
• Boolean Algebras with Operators. Part I
• Cylindric algebras. Part II
• Decidable and undecidable logics with a binary modality
• scientific article; zbMATH DE number 3706414 (Why is no real title available?)
• On modal logic with an intuitionistic base
• On the strong semantical completeness of the intuitionistic predicate calculus
• Relational semantics of the Lambek calculus extended with classical propositional logic
• Sur les correspondances multivoques des ensembles.
• The Lambek calculus extended with intuitionistic propositional logic
• The Mathematics of Sentence Structure
• The semantics and proof theory of the logic of bunched implications
• Undecidable Varieties of Semilattice—ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus

This page was built for publication: Intuitionistic logic of a binary modality

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