Marti, Michel; Studer, Thomas (2016). Intuitionistic modal logic made explicit. The IfCoLog Journal of Logics and their Applications, 3(5), pp. 877-901. College Publications
![[img]](https://boris.unibe.ch/style/images/fileicons/text.png) |
Text
mast16.pdf - Submitted Version Restricted to registered users only Available under License Publisher holds Copyright. Download (280kB) |
Previous intuitionistic justification logics included explicit justifications for all admissible rules of intuitionistic logic in order to get completeness with respect to provability semantics. We present the justification logic iJT4, which does not have these additional justification terms. We establish that iJT4 is complete with respect to modular models and that there is a realization of intuitionistic
S4 into iJT4. Hence iJT4 can be seen as an explicit version of intuitionistic
S4.
Item Type: |
Journal Article (Original Article) |
|---|---|
Division/Institute: |
08 Faculty of Science > Institute of Computer Science (INF) > Logic and Theory Group (LTG) 08 Faculty of Science > Institute of Computer Science (INF) |
UniBE Contributor: |
Marti, Michel, Studer, Thomas |
Subjects: |
000 Computer science, knowledge & systems 500 Science > 510 Mathematics |
ISSN: |
2055-3714 |
Publisher: |
College Publications |
Language: |
English |
Submitter: |
Lukas Jaun |
Date Deposited: |
14 Feb 2017 11:29 |
Last Modified: |
05 Dec 2022 15:02 |
BORIS DOI: |
10.7892/boris.95233 |
URI: |
https://boris.unibe.ch/id/eprint/95233 |
Actions (login required)
 |
Edit item |