Meghdad Ghari

According to our database, Meghdad Ghari authored at least 17 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

A formalization of the Protagoras court paradox in a temporal logic of epistemic and normative reasons.

Meghdad Ghari

Artif. Intell. Law, June, 2024

Consistency and permission in deontic justification logic.

Federico L. G. Faroldi, Meghdad Ghari, Eveline Lehmann, Thomas Studer

J. Log. Comput., 2024

2023

On Boolean Algebraic Structure of Proofs: Towards an Algebraic Semantics for the Logic of Proofs.

Amir Farahmand Parsa, Meghdad Ghari

Stud Logica, August, 2023

Linear temporal justification logics with past and future time modalities.

Meghdad Ghari

Log. J. IGPL, January, 2023

Impossible and Conflicting Obligations in Justification Logic.

Federico L. G. Faroldi, Meghdad Ghari, Eveline Lehmann, Thomas Studer

CoRR, 2023

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

Proceedings of the Deontic Logic and Normative Systems - 15th International Conference, 2021

2018

Linear Temporal Justification Logics with Past Operators.

Meghdad Ghari

CoRR, 2018

2017

Temporal Justification Logic.

Samuel Bucheli, Meghdad Ghari, Thomas Studer

Proceedings of the Ninth Workshop on Methods for Modalities, 2017

Labeled sequent calculus for justification logics.

Meghdad Ghari

Ann. Pure Appl. Log., 2017

2016

Pavelka-style fuzzy justification logics.

Meghdad Ghari

Log. J. IGPL, 2016

2014

Distributed Knowledge Justification Logics.

Meghdad Ghari

Theory Comput. Syst., 2014

Tableau Proof Systems for Justification Logics.

Meghdad Ghari

CoRR, 2014

A Note on the Fixed Points in Justification Logics.

Meghdad Ghari

CoRR, 2014

Labeled Sequent Calculus and Countermodel Construction for Justification Logics.

Meghdad Ghari

CoRR, 2014

2012

Cut Elimination and Realization for Epistemic Logics with Justification.

Meghdad Ghari

J. Log. Comput., 2012

2011

Distributed Knowledge with Justifications.

Meghdad Ghari

Proceedings of the New Directions in Logic, Language and Computation, 2011