28 citations · 57 across the 12 of their papers we have counts for
4 papers · 1 filter
Impossible and Conflicting Obligations in Justification Logic
Federico L. G. Faroldi, Meghdad Ghari, Eveline Lehmann +1
Different notions of the consistency of obligations collapse in standard deontic logic. In justification logics, which feature explicit reasons for obligations, the situation is di…
A temporal logic of epistemic and normative justifications, with an application to the Protagoras paradox
Meghdad Ghari
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…
Linear Temporal Justification Logics with Past Operators
Meghdad Ghari
In this paper we present various temporal justification logics involving both past and future time modalities. We combine Artemov's logic of proofs with linear temporal logic (with…
Temporal Justification Logic
Samuel Bucheli, Meghdad Ghari, Thomas Studer
Justification logics are modal-like logics with the additional capability of recording the reason, or justification, for modalities in syntactic structures, called justification te…