Decidability for some justification logics with negative introspection

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

[img]
Preview
Text
J5_Decidability.pdf - Accepted Version
Available under License Publisher holds Copyright.

Download (343kB) | Preview
[img]
Preview
Text
S0022481200000050.pdf - Published Version
Available under License Publisher holds Copyright.

Download (11MB) | Preview

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:

23 Oct 2019 15:01

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 Edit item
Provide Feedback