A Uniform Tableau Method for Intuitionistic Modal Logics I (1993)
Cached
Download Links
- [www.dis.uniroma1.it]
- [www.dcs.gla.ac.uk]
- DBLP
Other Repositories/Bibliography
by
Giambattista Amati
,
Fiora Pirri
| Venue: | STUDIA LOGICA |
| Citations: | 9 - 0 self |
BibTeX
@ARTICLE{Amati93auniform,
author = {Giambattista Amati and Fiora Pirri},
title = {A Uniform Tableau Method for Intuitionistic Modal Logics I},
journal = {STUDIA LOGICA},
year = {1993},
volume = {53},
pages = {29--60}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We present tableau systems and sequent calculi for the intuitionistic analogues IK, ID, IT, IKB, IKDB, IB, IK4, IKD4, IS4, IKB4, IK5, IKD5, IK45, IKD45 and IS5 of the normal classical modal logics. We provide soundness and completeness theorems with respect to the models of intuitionistic logic enriched by a modal accessibility relation, as proposed by G. Fischer
