Combining possibilities and negations

Studia Logica 59 (1):121-141 (1997)
  Copy   BIBTEX


Combining non-classical (or sub-classical) logics is not easy, but it is very interesting. In this paper, we combine nonclassical logics of negation and possibility (in the presence of conjunction and disjunction), and then we combine the resulting systems with intuitionistic logic. We will find that Kracht's results on the undecidability of classical modal logics generalise to a non-classical setting. We will also see conditions under which intuitionistic logic can be combined with a non-intuitionistic negation without corrupting the intuitionistic fragment of the logic.



    Upload a copy of this work     Papers currently archived: 91,102

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Contra-classical logics.Lloyd Humberstone - 2000 - Australasian Journal of Philosophy 78 (4):438 – 474.
Modal translations in substructural logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.
Combining logics.Walter Carnielli & Marcelo E. Coniglio - 2008 - Stanford Encyclopedia of Philosophy.
Substructural Logics.Greg Restall - forthcoming - Stanford Encyclopedia of Philosophy.
Subintuitionistic Logics.Greg Restall - 1994 - Notre Dame Journal of Formal Logic 35 (1):116-129.


Added to PP

40 (#358,756)

6 months
1 (#1,149,473)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Greg Restall
University of Melbourne

Citations of this work

Defining double negation elimination.G. Restall - 2000 - Logic Journal of the IGPL 8 (6):853-860.
Sequent Systems for Negative Modalities.Ori Lahav, João Marcos & Yoni Zohar - 2017 - Logica Universalis 11 (3):345-382.
It ain't necessarily so: Basic sequent systems for negative modalities.Ori Lahav, Marcos, João & Yoni Zohar - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 449-468.

Add more citations

References found in this work

Add more references