# Temporal Justification Logic

## TL;DR

This paper explores integrating justification logic into knowledge and time frameworks to explicitly record agents' reasons, enhancing the expressiveness of distributed system models.

## Contribution

It proposes a preliminary approach to replace modal knowledge operators with justification logic in knowledge and time systems.

## Key findings

- Conceptual framework for justification logic in distributed systems
- Potential for more explicit agent reasoning models
- Foundation for future formal developments

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