Two neighborhood semantics for subintuitionistic logics

DOI10.1007/978-3-662-59565-7_4zbMath1525.03051OpenAlexW2954067894MaRDI QIDQ6084524

Dick H. J. de Jongh, Fatemeh Shirmohammadzadeh Maleki

Publication date: 1 December 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-59565-7_4

zbMATH Keywords

intuitionistic logicsubintuitionistic logicneighborhood modelsmodal companions

Mathematics Subject Classification ID

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

Related Items (1)

Monotone subintuitionistic logic: duality and transfer results

This page was built for publication: Two neighborhood semantics for subintuitionistic logics