Corpus ID: 237581364

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
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 modularExpand
THE LOGIC OF JUSTIFICATION
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
  • Meghdad Ghari
  • Mathematics, Computer Science
  • Theory of Computing Systems
  • 2013
TLDR
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
  • Meghdad Ghari
  • Computer Science, Mathematics
  • Ann. Pure Appl. Log.
  • 2017
TLDR
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
TLDR
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
TLDR
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
...
1
2
3
4
5
...