28 citations · 57 across the 12 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021★ 3 cited
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…
math.LO2021
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…