Meghdad Ghari

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 11

Top Topics

Mazurkiewicz Traces

Top Venues

Theory Comput. Syst.

J. Log. Comput.

Publications

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