Some Notes on Temporal Justification Logic
From MaRDI portal
Publication:6266751
arXiv1510.07247MaRDI QIDQ6266751FDOQ6266751
Authors: Samuel Bucheli 
Publication date: 25 October 2015
Abstract: 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 logic. 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.
Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Temporal logic (03B44) Logic in computer science (03B70)
This page was built for publication: Some Notes on Temporal Justification Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6266751)
