IPM Positions

Resident Researcher, School of Mathematics (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 (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]

2.	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]

3.	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 (Accepted) [abstract]

4.	M. Ghari (Joint with R. Ebrahimpour Esfahani) Tense forms of Moore's paradox (In Persian) Logical Studies 10 (2019), 1-32  [abstract]

5.	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]

6.	M. Ghari (Joint with S. Bucheli and T. Studer) Temporal Justification Logic ( In: Electronic Proceedings in Theoretical Computer Science) [abstract]

7.	M. Ghari Labeled sequent calculusfor justification logics Ann. Pure Appl. Logic 168 (2017), 72-111  [abstract]

8.	M. Ghari Pavelka-style fuzzy justification logics Log. J. IGPL 24 (2016), 743-773  [abstract]

9.	M. Ghari Distributed knowledge justification logics Theory Comput. Syst. 55 (2014), 1-40  [abstract]