Distributed Knowledge with Justifications. - Meghdad Ghari (ESSLLI Student Sessions, 2011)

Cut Elimination and Realization for Epistemic Logics with Justification. - Meghdad Ghari (J. Log. Comput., 2012)

Labeled Sequent Calculus and Countermodel Construction for Justification Logics. - Meghdad Ghari (CoRR, 2014)

A Note on the Fixed Points in Justification Logics. - Meghdad Ghari (CoRR, 2014)

Tableau Proof Systems for Justification Logics. - Meghdad Ghari (CoRR, 2014)

Distributed Knowledge Justification Logics. - Meghdad Ghari (Theory Comput. Syst., 2014)

Pavelka-style fuzzy justification logics. - Meghdad Ghari (Log. J. IGPL, 2016)

Labeled sequent calculus for justification logics. - Meghdad Ghari (Ann. Pure Appl. Log., 2017)

Temporal Justification Logic. - Samuel Bucheli; Meghdad Ghari; Thomas Studer (M4M@ICLA, 2017)

Linear Temporal Justification Logics with Past Operators. - Meghdad Ghari (CoRR, 2018)

Impossible and Conflicting Obligations in Justification Logic. - Federico L. G. Faroldi; Meghdad Ghari (DEON, 2021)

A temporal logic of epistemic and normative justifications, with an application to the Protagoras paradox. - Meghdad Ghari (CoRR, 2021)

Impossible and Conflicting Obligations in Justification Logic. - Federico L. G. Faroldi; Meghdad Ghari; Eveline Lehmann; Thomas Studer (CoRR, 2023)

Linear temporal justification logics with past and future time modalities. - Meghdad Ghari (Log. J. IGPL, 2023)

On Boolean Algebraic Structure of Proofs: Towards an Algebraic Semantics for the Logic of Proofs. - Amir Farahmand Parsa; Meghdad Ghari (Stud Logica, 2023)

Consistency and permission in deontic justification logic. - Federico L. G. Faroldi; Meghdad Ghari; Eveline Lehmann; Thomas Studer (J. Log. Comput., 2024)

A formalization of the Protagoras court paradox in a temporal logic of epistemic and normative reasons. - Meghdad Ghari (Artif. Intell. Law, 2024)