|
| | | | |
| | | |
| Stat |
Members: 3644
Articles: 2'499'343
Articles rated: 2609
16 April 2024 |
|
| | | | |
|
Article overview
| |
|
|
On Nested Sequents for Constructive Modal Logics | | Ryuta Arisaka
; Anupam Das
; Lutz Straßburger
; | | Date: |
26 May 2015 | | Abstract: | We present deductive systems for various modal logics that can be obtained
from the constructive variant of the normal modal logic CK by adding
combinations of the axioms d, t, b, 4, and 5. This includes the constructive
variants of the standard modal logics K4, S4, and S5. We use for our
presentation the formalism of nested sequents and give a syntactic proof of cut
elimination. | | Source: | arXiv, 1505.6896 | | Services: | Forum | Review | PDF | Favorites | |
|
|
No review found.
Did you like this article?
Note: answers to reviews or questions about the article must be posted in the forum section.
Authors are not allowed to review their own article. They can use the forum section.
browser claudebot
|
| |
|
|
|
|
News, job offers and information for researchers and scientists:
| |
REGISTER