Temporal Justification Logic

Bucheli, Samuel; Ghari, Meghdad; Studer, Thomas (2017). Temporal Justification Logic. Electronic proceedings in theoretical computer science, 243, pp. 59-74. NICTA 10.4204/EPTCS.243.5

[img]
Preview
Text
Temporal-JL-M4M.pdf - Submitted Version
Available under License Creative Commons: Attribution (CC-BY).

Download (272kB) | Preview

Justification logics are modal-like logics with the additional capability of recording the reason, or justification, for modalities in syntactic structures, called justification terms. Justification logics can be seen as explicit counterparts to modal logics. The behavior and interaction of agents in distributed system is often modeled using logics of knowledge and time. In this paper, we sketch some preliminary ideas on how the modal knowledge part of such logics of knowledge and time could be replaced with an appropriate justification logic.

Item Type:

Journal Article (Original Article)

Division/Institute:

08 Faculty of Science > Institute of Computer Science (INF)

UniBE Contributor:

Bucheli, Samuel; Ghari, Meghdad and Studer, Thomas

Subjects:

000 Computer science, knowledge & systems
500 Science > 510 Mathematics

ISSN:

2075-2180

Publisher:

NICTA

Language:

English

Submitter:

Lukas Jaun

Date Deposited:

23 Jul 2018 12:54

Last Modified:

23 Jul 2018 12:54

Publisher DOI:

10.4204/EPTCS.243.5

BORIS DOI:

10.7892/boris.103427

URI:

https://boris.unibe.ch/id/eprint/103427

Actions (login required)

Edit item Edit item
Provide Feedback