A paraconsistent view on B and S5

Arnon Avron; Anna Zamansky

A paraconsistent view on B and S5

Arnon Avron
, Anna Zamansky

Department of Information Systems

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

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

Cite this

@inproceedings{fe4ba909f3ea4018a15ea060e592c2a8,

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.; 11th Conference on Advances in Modal Logic, AiML 2016 ; Conference date: 30-08-2016 Through 02-09-2016",

year = "2016",

language = "English",

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

address = "United Kingdom",

}

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 - https://www.scopus.com/pages/publications/85018729967

M3 - Conference contribution

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

T2 - 11th Conference on Advances in Modal Logic, AiML 2016

Y2 - 30 August 2016 through 2 September 2016

ER -

A paraconsistent view on B and S5

Abstract

Publication series

Conference

Bibliographical note

Keywords

ASJC Scopus subject areas

Other files and links

Fingerprint

Cite this