IPM Positions

Non Resident Researcher, School of Mathematics - Isfahan Branch (2024 - Present (from March 20, 2024 in Isfahan branch))

Past IPM Positions

Resident Researcher, School of Mathematics (2017 - 2024) (from March 20, 2017 till March 19, 2024 in Isfahan branch ) 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 Tableaux and interpolation for propositional justification logics Notre Dame J. Formal Logic (Accepted) [abstract]

2.	M. Ghari (Joint with F. Majlesi) An extension of the logic of proofs with actions (In Persian) Logical Studies 14 (2023), 127-145  [abstract]

3.	A. Farahmand Parsa and M. Ghari On Boolean algebraic structure of proofs: Towards an algebraic semantics for the Logic of proofs Studia Logica 111 (2023), 573-613  [abstract]

4.	M. Ghari A formalization of the Protagoras court paradox in a temporal logic of epistemic and normative reasons Artificial Intelligence and Law (Accepted) [abstract]

5.	M. Ghari Linear temporal justifiCation logics with past and future time modalities Log. J. IGPL 31 (2023), 1-38  [abstract]

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

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

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

9.	M. Ghari (Joint with A. Kalantari) On Shackel' s criticisms against the normativity of belief: a new evidence for truth and knowledge norms of belief (In Persian) Journal of Recognition 13 (2021), 153-180  [abstract]

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

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

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

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

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

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

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