Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Chellas, B.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)
Corsi, G.: Weak logics with strict implication. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 33, 389–406 (1987)
Hansen, H.H.: Monotonic modal logics. Master thesis, University of Amsterdam (2003)
de Jongh, D., Shirmohammadzadeh Maleki, F.: Subintuitionistic logics and the implications they prove. Indagationes Mathematicae. https://doi.org/10.1016/j.indag.2018.01.013
Kleene, S.C.: Disjunction and existence under implication in elementary intuitionistic formalisms. J. Symb. Log. 27, 11–18 (1962)
Pacuit, E.: Neighborhood Semantics for Modal Logic. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-67149-9
Shirmohammadzadeh Maleki, F., de Jongh, D.: Weak subintuitionistic logics. Log. J. IGPL 25(2), 214–231 (2017)
Acknowledgement
This paper greatly profited from the remarks of an anonymous referee who read the paper very carefully. Many points were clarified and readability has improved strongly. The second author expresses thanks for the financial support of the project number 95012990 of the Iran National Science Foundation (INSF) as a post-doc researcher at school of mathematics, statistics and computer science of university of Tehran.
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer-Verlag GmbH Germany, part of Springer Nature
About this paper
Cite this paper
de Jongh, D., Shirmohammadzadeh Maleki, F. (2019). Two Neighborhood Semantics for Subintuitionistic Logics. In: Silva, A., Staton, S., Sutton, P., Umbach, C. (eds) Language, Logic, and Computation. TbiLLC 2018. Lecture Notes in Computer Science(), vol 11456. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-59565-7_4
Download citation
DOI: https://doi.org/10.1007/978-3-662-59565-7_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-59564-0
Online ISBN: 978-3-662-59565-7
eBook Packages: Computer ScienceComputer Science (R0)