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