Advertisement

Two Neighborhood Semantics for Subintuitionistic Logics

  • Dick de JonghEmail author
  • Fatemeh Shirmohammadzadeh MalekiEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11456)

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.

Keywords

Intuitionistic logic Subintuitionistic logic Modal companions Neighborhood models 

Notes

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.

References

  1. 1.
    Chellas, B.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)CrossRefGoogle Scholar
  2. 2.
    Corsi, G.: Weak logics with strict implication. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 33, 389–406 (1987)MathSciNetCrossRefGoogle Scholar
  3. 3.
    Hansen, H.H.: Monotonic modal logics. Master thesis, University of Amsterdam (2003)Google Scholar
  4. 4.
    de Jongh, D., Shirmohammadzadeh Maleki, F.: Subintuitionistic logics and the implications they prove. Indagationes Mathematicae.  https://doi.org/10.1016/j.indag.2018.01.013MathSciNetCrossRefGoogle Scholar
  5. 5.
    Kleene, S.C.: Disjunction and existence under implication in elementary intuitionistic formalisms. J. Symb. Log. 27, 11–18 (1962)MathSciNetCrossRefGoogle Scholar
  6. 6.
    Pacuit, E.: Neighborhood Semantics for Modal Logic. Springer, Cham (2017).  https://doi.org/10.1007/978-3-319-67149-9CrossRefzbMATHGoogle Scholar
  7. 7.
    Shirmohammadzadeh Maleki, F., de Jongh, D.: Weak subintuitionistic logics. Log. J. IGPL 25(2), 214–231 (2017)MathSciNetzbMATHGoogle Scholar

Copyright information

© Springer-Verlag GmbH Germany, part of Springer Nature 2019

Authors and Affiliations

  1. 1.Institute for Logic, Language and ComputationUniversity van AmsterdamAmsterdamThe Netherlands
  2. 2.School of Mathematics, Statistics and Computer Science, College of ScienceUniversity of TehranTehranIran

Personalised recommendations