This investigation is concerned with weak subintuitionistic logics interpreted over neighborhood models introduced by the authors in 2016. The two types of neighborhood semantics introduced in that article are compared and their relationship is clarified. Thereby modal companions for various logics are recognized. Specifically, a logic is found which has basic monotonic logic with necessitation as its modal companion. Many of the extensions of the basic logics are discussed and characterized.
CITATION STYLE
de Jongh, D., & Shirmohammadzadeh Maleki, F. (2019). Two Neighborhood Semantics for Subintuitionistic Logics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11456 LNCS, pp. 64–85). Springer Verlag. https://doi.org/10.1007/978-3-662-59565-7_4
Mendeley helps you to discover research relevant for your work.