Some Notes on Temporal Justification Logic
Samuel Bucheli

TL;DR
This paper explores the integration of justification logic into models of knowledge and time, aiming to make the reasoning behind modalities explicit in distributed systems.
Contribution
It proposes preliminary ideas for replacing modal knowledge operators with justification logic in knowledge and time frameworks.
Findings
Conceptual framework for combining justification logic with temporal logics
Initial ideas for formalizing agent interactions with explicit justifications
Foundation for future formal development in distributed system reasoning
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Multi-Agent Systems and Negotiation · Semantic Web and Ontologies
