28 citations · 57 across the 12 of their papers we have counts for
12 papers
Justification logics with counterfactual and relevant conditionals
Meghdad Ghari
The purpose of this paper is to introduce justification logics based on conditional logics. We introduce a new family of logics, called conditional justification logics, which inco…
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…
Algebraic Semantics for the Logic of Proofs
Amir Farahmand Parsa, Meghdad Ghari
We present algebraic semantics for the classical logic of proofs based on Boolean algebras. We also extend the language of the logic of proofs in order to have a Boolean structure…
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…
Analytic Tableaux for Justification Logics
Meghdad Ghari
In this paper we present analytic tableau proof systems for various justification logics. We show that the tableau systems are sound and complete with respect to Mkrtychev models.…
Tableaux for First Order Logic of Proofs
Meghdad Ghari
In this paper we present a tableau proof system for first order logic of proofs FOLP. We show that the tableau system is sound and complete with respect to Mkrtychev models of FOLP…
Justification Logics in a Fuzzy Setting
Meghdad Ghari
Justification Logics provide a framework for reasoning about justifications and evidences. Most of the accounts of justification logics are crisp in the sense that agent's justific…
Tableau Proof Systems for Justification Logics
Meghdad Ghari
In this paper we present tableau proof systems for various justification logics. We show that the tableau systems are sound and complete with respect to Mkrtychev models. In order…
A Note on Fixed Points in Justification Logics and the Surprise Test Paradox
Meghdad Ghari
In this note we study the effect of adding fixed points to justification logics. We introduce two extensions of justification logics: extensions by fixed point (or diagonal) operat…
Labeled Sequent Calculus and Countermodel Construction for Justification Logics
Meghdad Ghari
Justification logics are modal-like logics that provide a framework for reasoning about justifications. This paper introduces labeled sequent calculi for justification logics, as w…