Studer, Thomas (2013). Decidability for some justification logics with negative introspection. The journal of symbolic logic, 78(2), pp. 388-402. Cambridge University Press 10.2178/jsl.7802030
|
Text
J5_Decidability.pdf - Accepted Version Available under License Publisher holds Copyright. Download (343kB) | Preview |
|
|
Text
S0022481200000050.pdf - Published Version Available under License Publisher holds Copyright. Download (11MB) | Preview |
Official URL: http://projecteuclid.org/euclid.jsl/1368627056
Justification logics are modal logics that include justifications for the agent's knowledge. So far, there are no decidability results available for justification logics with negative introspection. In this paper, we develop a novel model construction for such logics and show that justification logics with negative introspection are decidable for finite constant specifications.
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: |
Studer, Thomas |
Subjects: |
000 Computer science, knowledge & systems 500 Science > 510 Mathematics |
ISSN: |
0022-4812 |
Publisher: |
Cambridge University Press |
Language: |
English |
Submitter: |
Thomas Studer |
Date Deposited: |
20 Feb 2014 19:14 |
Last Modified: |
05 Dec 2022 14:27 |
Publisher DOI: |
10.2178/jsl.7802030 |
BORIS DOI: |
10.7892/boris.40672 |
URI: |
https://boris.unibe.ch/id/eprint/40672 |
Actions (login required)
 |
Edit item |