A paraconsistent view on B and S5

Arnon Avron, Anna Zamansky

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

5 Scopus citations

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

Funding

FundersFunder number
Israel Science Foundation817/15

    Keywords

    • B
    • KTB
    • Modal logic
    • Paraconsistent logic

    Fingerprint

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

    Cite this