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
|
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, 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: |
05 Dec 2022 15:06 |
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 |