Temporal Justification Logic

Temporal Justification Logic

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...

Full description

Bibliographic Details
Main Authors: Samuel Bucheli, Meghdad Ghari, Thomas Studer
Format: Article
Language:English
Published: Open Publishing Association 2017-03-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1703.02195v1
id doaj-3fe14e0550b84f35a10d516a3a3c52b3
record_format Article
spelling doaj-3fe14e0550b84f35a10d516a3a3c52b32020-11-25T02:18:59ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802017-03-01243Proc. M4M9 2017597410.4204/EPTCS.243.5:1Temporal Justification LogicSamuel Bucheli0Meghdad Ghari1Thomas Studer2 Zühlke Engineering AG School of Mathematics, Institute for Research in Fundamental Sciences (IPM) University of Bern 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.http://arxiv.org/pdf/1703.02195v1
collection DOAJ
language English
format Article
sources DOAJ
author Samuel Bucheli
Meghdad Ghari
Thomas Studer
spellingShingle Samuel Bucheli
Meghdad Ghari
Thomas Studer
Temporal Justification Logic
Electronic Proceedings in Theoretical Computer Science
author_facet Samuel Bucheli
Meghdad Ghari
Thomas Studer
author_sort Samuel Bucheli
title Temporal Justification Logic
title_short Temporal Justification Logic
title_full Temporal Justification Logic
title_fullStr Temporal Justification Logic
title_full_unstemmed Temporal Justification Logic
title_sort temporal justification logic
publisher Open Publishing Association
series Electronic Proceedings in Theoretical Computer Science
issn 2075-2180
publishDate 2017-03-01
description 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.
url http://arxiv.org/pdf/1703.02195v1
work_keys_str_mv AT samuelbucheli temporaljustificationlogic
AT meghdadghari temporaljustificationlogic
AT thomasstuder temporaljustificationlogic
_version_ 1724879379809435648

Similar Items