Combining possibilities and negations

Greg Restall*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

3 Citations (Scopus)

Abstract

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
Volume59
Issue number1
DOIs
Publication statusPublished - 1997

Keywords

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

Fingerprint

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

Cite this