A paraconsistent view on B and S5

Arnon Avron; Anna Zamansky

A paraconsistent view on B and S5

School of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-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 language	English
Title of host publication	Advances in Modal Logic, AiML 2016
Editors	Stephane Demri, Lev Beklemishev, Andras Mate
Publisher	College Publications
Pages	21-37
Number of pages	17
ISBN (Electronic)	9781848902015
State	Published - 2016
Event	11th Conference on Advances in Modal Logic, AiML 2016 - Budapest, Hungary Duration: 30 Aug 2016 → 2 Sep 2016

Publication series

Name	Advances in Modal Logic
Volume	11

Conference

Conference	11th Conference on Advances in Modal Logic, AiML 2016
Country/Territory	Hungary
City	Budapest
Period	30/08/16 → 2/09/16

Keywords

B
KTB
Modal logic
Paraconsistent logic

Cite this

@inproceedings{9fb1d33206034085a75e2ef40a24d2cf,

title = "A paraconsistent view on B and S5",

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.",

keywords = "B, KTB, Modal logic, Paraconsistent logic",

author = "Arnon Avron and Anna Zamansky",

note = "Funding Information: were supported by the Israel Science Foundation under grant agreement 817/15.; null ; Conference date: 30-08-2016 Through 02-09-2016",

year = "2016",

language = "אנגלית",

series = "Advances in Modal Logic",

publisher = "College Publications",

pages = "21--37",

editor = "Stephane Demri and Lev Beklemishev and Andras Mate",

booktitle = "Advances in Modal Logic, AiML 2016",

}

TY - GEN

T1 - A paraconsistent view on B and S5

AU - Avron, Arnon

AU - Zamansky, Anna

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

PY - 2016

Y1 - 2016

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

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

KW - B

KW - KTB

KW - Modal logic

KW - Paraconsistent logic

UR - http://www.scopus.com/inward/record.url?scp=85018729967&partnerID=8YFLogxK

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:85018729967

T3 - Advances in Modal Logic

SP - 21

EP - 37

BT - Advances in Modal Logic, AiML 2016

A2 - Demri, Stephane

A2 - Beklemishev, Lev

A2 - Mate, Andras

PB - College Publications

Y2 - 30 August 2016 through 2 September 2016

ER -

A paraconsistent view on B and S5

Abstract

Publication series

Conference

Keywords

Other files and links

Fingerprint

Cite this