Meghdad Ghari

17 papers Journal 14Unranked 3
YearRankTypeTitle / Venue / Authors
2024 J jnl
A formalization of the Protagoras court paradox in a temporal logic of epistemic and normative reasons.
Artif. Intell. Law
Meghdad Ghari
2024 J jnl
Consistency and permission in deontic justification logic.
J. Log. Comput.
Federico L. G. Faroldi, Meghdad Ghari, Eveline Lehmann, Thomas Studer
2023 J jnl
Impossible and Conflicting Obligations in Justification Logic.
CoRR
Federico L. G. Faroldi, Meghdad Ghari, Eveline Lehmann, Thomas Studer
2023 J jnl
Linear temporal justification logics with past and future time modalities.
Log. J. IGPL
Meghdad Ghari
2023 J jnl
On Boolean Algebraic Structure of Proofs: Towards an Algebraic Semantics for the Logic of Proofs.
Stud Logica
Amir Farahmand Parsa, Meghdad Ghari
2021 J jnl
A temporal logic of epistemic and normative justifications, with an application to the Protagoras paradox.
CoRR
Meghdad Ghari
2021 — conf
Impossible and Conflicting Obligations in Justification Logic.
DEON
Federico L. G. Faroldi, Meghdad Ghari
2018 J jnl
Linear Temporal Justification Logics with Past Operators.
CoRR
Meghdad Ghari
2017 J jnl
Labeled sequent calculus for justification logics.
Ann. Pure Appl. Log.
Meghdad Ghari
2017 — conf
Temporal Justification Logic.
M4M@ICLA
Samuel Bucheli, Meghdad Ghari, Thomas Studer
2016 J jnl
Pavelka-style fuzzy justification logics.
Log. J. IGPL
Meghdad Ghari
2014 J jnl
A Note on the Fixed Points in Justification Logics.
CoRR
Meghdad Ghari
2014 J jnl
Distributed Knowledge Justification Logics.
Theory Comput. Syst.
Meghdad Ghari
2014 J jnl
Labeled Sequent Calculus and Countermodel Construction for Justification Logics.
CoRR
Meghdad Ghari
2014 J jnl
Tableau Proof Systems for Justification Logics.
CoRR
Meghdad Ghari
2012 J jnl
Cut Elimination and Realization for Epistemic Logics with Justification.
J. Log. Comput.
Meghdad Ghari
2011 — conf
Distributed Knowledge with Justifications.
ESSLLI Student Sessions
Meghdad Ghari