“Meghdad Ghari”


IPM Positions

Resident Researcher, School of Mathematics - Isfahan Branch
(2017 - Present
(Isfahan branch))

Past IPM Positions

Post-Doctoral Research Fellow, School of Mathematics
(2012 - 2017)
(From September 22, 2012 till June 21, 2017 )

Non IPM Affiliations

Assistant Professor of University of Isfahan

Research Interests

Justification logics, Modal logics, Epistemic logics, Structural proof theory.

Related Papers

1. M. Ghari
Linear temporal justifiCation logics with past and future time modalities
Log. J. IGPL 31 (2023), 1-38  [abstract]
2. M. Ghari (Joint with F. L. G. Faroldi, E. Lehmann and Th. Studer)
Consistency and permission in deontic justification logic
J. Logic Comput. (Accepted) [abstract]
3. M. Ghari
A note on fixed points in quantified logic of proofs and the surprise test paradox (In Persian)
Logical Studies 12 (2021), 129-153  [abstract]
4. M. Ghari (Joint with A. Kalantari)
On the explanation role of truth norm in the theory of normative belief via deontic logic: A new evidence for wide norm (In Persian)
Wisdom and Philosophy (Accepted) [abstract]
5. M. Ghari (Joint with A. Kalantari)
Study of Shackel 's criticisms aagainst the normativity of belief: Suggesting a new evidence for the truth as well as the knowledge norms of belief (In Persian)
Journal of Recognition 13 (2021), 153-180  [abstract]
6. M. Ghari (Joint with F. L. G. Faroldi, E. Lehmann, and Th. Studer)
Impossible and conflicting obligations in justification logic
( In: Deontoc Logic and Normative Systems)
7. M. Ghari (Joint with R. Ebrahimpour Esfahani)
Tense forms of Moore's paradox (In Persian)
Logical Studies 10 (2019), 1-32  [abstract]
8. M. Ghari (Joint with E. Makovicky)
Neither simple nor perfect: From defect symmetries to conscious pattern variations in Islamic oriental art
Symmetry: Culture and Science 29 (2018), 279-301  [abstract]
9. M. Ghari (Joint with S. Bucheli and T. Studer)
Temporal Justification Logic
( In: Electronic Proceedings in Theoretical Computer Science)
10. M. Ghari
Labeled sequent calculusfor justification logics
Ann. Pure Appl. Logic 168 (2017), 72-111  [abstract]
11. M. Ghari
Pavelka-style fuzzy justification logics
Log. J. IGPL 24 (2016), 743-773  [abstract]
12. M. Ghari
Distributed knowledge justification logics
Theory Comput. Syst. 55 (2014), 1-40  [abstract]
scroll left or right