# A temporal logic of epistemic and normative justifications, with an application to the Protagoras paradox

@article{Ghari2021ATL, title={A temporal logic of epistemic and normative justifications, with an application to the Protagoras paradox}, author={Meghdad Ghari}, journal={ArXiv}, year={2021}, volume={abs/2109.10018} }

We combine linear temporal logic (with both past and future modalities) with a deontic version of justification logic to provide a framework for reasoning about time and epistemic and normative reasons. In addition to temporal modalities, the resulting logic contains two kinds of justification assertions: epistemic justification assertions and deontic justification assertions. The former presents justification for the agent’s knowledge and the latter gives reasons for why a proposition is… Expand

#### References

SHOWING 1-10 OF 42 REFERENCES

Justifications, Ontology, and Conservativity

- Computer Science
- Advances in Modal Logic
- 2012

An ontologically transparent semantics for justifications that interprets justifications as sets of formulas they justify has been recently presented by Artemov. However, this semantics of modular… Expand

THE LOGIC OF JUSTIFICATION

- Computer Science
- The Review of Symbolic Logic
- 2008

A general Correspondence Theorem is stated showing that behind each epistemic modal logic, there is a robust system of justifications, which renders a new, evidence-based foundation for epistemic logic. Expand

Linear Temporal Justification Logics with Past and Future Time Modalities

- Computer Science
- Logic Journal of the IGPL
- 2021

This paper presents various temporal justification logics involving both past and future time modalities, and combines Artemov’s logic of proofs with linear temporal logic with past, and investigates several principles describing the interaction of justification and time. Expand

Justifications for common knowledge

- Mathematics, Computer Science
- J. Appl. Non Class. Logics
- 2011

A multi-agent justification logic with evidence terms for individual agents as well as for common knowledge is developed, and a Kripke-style semantics that is similar to Fitting's semantics for the Logic of Proofs LP is defined. Expand

Impossible and Conflicting Obligations in Justification Logic

- Computer Science
- 2020

A novel semantics is proposed for which justification logics with the explicit version of axiom D,jd, are complete for arbitrary constant specifications and the philosophical implications are discussed with regard to some deontic paradoxes. Expand

Some Notes on Temporal Justification Logic

- Computer Science, Mathematics
- ArXiv
- 2015

Preliminary ideas on how the modal knowledge part of such logics of knowledge and time could be replaced with an appropriate justification logic are sketched. Expand

Distributed Knowledge Justification Logics

- Mathematics, Computer Science
- Theory of Computing Systems
- 2013

The realization theorem is established, which states that distributed knowledge justification logics can be embedded into the modal distributed knowledge logics, and vise versa. Expand

Labeled sequent calculus for justification logics

- Computer Science, Mathematics
- Ann. Pure Appl. Log.
- 2017

Labeled sequent calculi for justification logics, as well as for combined modal-justification logics are introduced, using a method due to Sara Negri to internalize the Kripke-style semantics of justification and modal–Fitting logics within the syntax of the sequent calculus. Expand

Temporal Justification Logic

- Computer Science
- M4M@ICLA
- 2017

Preliminary ideas on how the modal knowledge part of such logics of knowledge and time could be replaced with an appropriate justification logic are sketched. Expand

Tracking reasons with extensions of relevant logics

- Computer Science
- Log. J. IGPL
- 2019

This paper demonstrates an affinity to these two approaches that suggests their pairing will provide good logics for tracking reasons in a fine-grained way and develops an analogy between the dot operator of justification logic and theory fusion in relevant logics. Expand