A paraconsistent view on B and S5

Arnon Avron, Anna Zamansky

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Paraconsistent logics are logics that in contrast to classical and intuitionistic logic, do not trivialize inconsistent theories. In this paper we show that the famous modal logics B and S5, can be viewed as paraconsistent logics with several particularly useful properties.

Original languageEnglish
Title of host publicationAdvances in Modal Logic, AiML 2016
EditorsStephane Demri, Lev Beklemishev, Andras Mate
PublisherCollege Publications
Pages21-37
Number of pages17
ISBN (Electronic)9781848902015
StatePublished - 2016
Event11th Conference on Advances in Modal Logic, AiML 2016 - Budapest, Hungary
Duration: 30 Aug 20162 Sep 2016

Publication series

NameAdvances in Modal Logic
Volume11

Conference

Conference11th Conference on Advances in Modal Logic, AiML 2016
Country/TerritoryHungary
CityBudapest
Period30/08/162/09/16

Bibliographical note

Funding Information:
were supported by the Israel Science Foundation under grant agreement 817/15.

Keywords

  • B
  • KTB
  • Modal logic
  • Paraconsistent logic

ASJC Scopus subject areas

  • Logic
  • Computational Theory and Mathematics
  • Computational Mathematics

Fingerprint

Dive into the research topics of 'A paraconsistent view on B and S5'. Together they form a unique fingerprint.

Cite this