Combining possibilities and negations

Greg Restall*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

3 Citations (Scopus)


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 Krachts 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.

Original languageEnglish
Pages (from-to)121-141
Number of pages21
JournalStudia Logica
Issue number1
Publication statusPublished - 1997


  • Combining non-classical logics
  • Intuitionistic logic
  • Negation
  • Possibility


Dive into the research topics of 'Combining possibilities and negations'. Together they form a unique fingerprint.

Cite this