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) [abstract]

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) [abstract]

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]