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