“Meghdad Ghari”
Home Page: sites.google.com/site/meghdadghari/
Email:
![](data:image/jpg;base64, /9j/4AAQSkZJRgABAgAAAQABAAD/2wBDAAgGBgcGBQgHBwcJCQgKDBQNDAsLDBkSEw8UHRofHh0aHBwgJC4nICIsIxwcKDcpLDAxNDQ0Hyc5PTgyPC4zNDL/2wBDAQkJCQwLDBgNDRgyIRwhMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjIyMjL/wAARCAAUAPoDASIAAhEBAxEB/8QAHwAAAQUBAQEBAQEAAAAAAAAAAAECAwQFBgcICQoL/8QAtRAAAgEDAwIEAwUFBAQAAAF9AQIDAAQRBRIhMUEGE1FhByJxFDKBkaEII0KxwRVS0fAkM2JyggkKFhcYGRolJicoKSo0NTY3ODk6Q0RFRkdISUpTVFVWV1hZWmNkZWZnaGlqc3R1dnd4eXqDhIWGh4iJipKTlJWWl5iZmqKjpKWmp6ipqrKztLW2t7i5usLDxMXGx8jJytLT1NXW19jZ2uHi4+Tl5ufo6erx8vP09fb3+Pn6/8QAHwEAAwEBAQEBAQEBAQAAAAAAAAECAwQFBgcICQoL/8QAtREAAgECBAQDBAcFBAQAAQJ3AAECAxEEBSExBhJBUQdhcRMiMoEIFEKRobHBCSMzUvAVYnLRChYkNOEl8RcYGRomJygpKjU2Nzg5OkNERUZHSElKU1RVVldYWVpjZGVmZ2hpanN0dXZ3eHl6goOEhYaHiImKkpOUlZaXmJmaoqOkpaanqKmqsrO0tba3uLm6wsPExcbHyMnK0tPU1dbX2Nna4uPk5ebn6Onq8vP09fb3+Pn6/9oADAMBAAIRAxEAPwD3+qdlqUN9dajbxLIHsLgW8pYDBYxRy5XnptkUc45B+p8n+Ilhpgh8cT654c1K+vJbeN9LvUtJJ0iiWFQNki5WEJMJXcEpkNn5wcV0Gs+G1ubbx5qZ0uSbVFd5NLlaJndHWxh2vb/3X8xcbkwSUAydgwAeiVHPMttbyzuJCkaF2EcbOxAGeFUEsfYAk9q8v8f2V7PdazLZaLHJqa25NhN/Y8t5cPiIESQ3IdUtirbsR/e3IXUM0gB0Nb8Nrd2PxCvm0uSfUJUmSwdomdiDp8SHyQehZtyEpy20Kc7QAAdpqetWWkeULpp2klyUhtraS4kYDGW2RqzbRlQWxgFlBOSMx2fiHTL+3upbaeR3tE33Ft5EguIhgkboCvmAsASoK5YcjORXL6jb3x13VYhHdyPPexXBt7W48i4urBbZUCwy7kwEuWLsodcBmJ/1oD440nV7vwn4lMlvdpcW+malYC1luhd3Vx5rNNbrIUdyTHEyqoZmYmZ8ADBcA9UorxvxFYaZe6746RPDmpXniSS4tk02/trSQ+VL9mh8rZOMLCUc73JZflIzuHA6DVPDUN1f6/fyaJHNeS67YJHcNahpHtSlmkwDYyYivnKw+7jeDxmgD0So4ZlnQugkADsnzxshyrFTwwBxkcHoRgjIINc3oMf9iahqenQ6bPDYS6qIrKOCDbBBH9jjkZgBgLGZFkGRx5j+pNYen+G11HWtPj1fS5JrNH1x3juIm8pi9/G0e9T8rBly6hsg7Qw5UEAHolFU9M1KHVbV7iBZFRLie3IcAHdFK0THgnjchI9sdOlcHbeE7OSXT5bjw/A8l34g1H+0XksgTNblrt4/NJHzR7hAy7uMiMjnbQB6RRXkesaRetFoCXWmyS6XaXuqx+TPpUt/BD+/YWxa2jdWKCEOqNhlUMuAMgiwmhwWNh4Sg1vStS1fQ7VL1REbGWZYXZwbdntt8kmxYvMRN4YpuUMEboAekSalDFrNtpbLJ59xbzXCMANoWNo1YHnOcyrjjsene5Xk/gzw/p2q2nh2OTRZ10aCLWVWzvI2KxZvo/LimUkgsAp+V8/MmeqgixNpkSPoS69oV9faJa3eqxLbJaPcRwN9oItWaBQSYxCsioQjKoZcYBBoA9E0zUodVtXuIFkVEuJ7chwAd0UrRMeCeNyEj2x06VcryOw0yOPwNots3hyS309bi/eKDVNIn1A2qtcsYke1Rt28oSRKc7QpGf3vMlvp7mx8MnxV4fvrvTbeXU45LNLFpo7aUzH7OWtkZ/3YiEiJjzFQMuDghqAPTNM1KHVbV7iBZFRLie3IcAHdFK0THgnjchI9sdOlEmpQxazbaWyyefcW81wjADaFjaNWB5znMq447Hp38r0nSbKHRfCv9qeFtVfw9DLqhTT5rKSc2rvOWt2mtxuZsReaoYq+C4OeQaseDPD+naraeHY5NFnXRoItZVbO8jYrFm+j8uKZSSCwCn5Xz8yZ6qCAD1iivM73T5RoVla3mkRyWkN7qCx/bNKm1GKBBcsIEW1jIODF9yToiJtGBIKPD/h6bU5NAh8Q6RI0Fvb6skltPAVgT/TIvJjaPcybAi5RCzKAilSdoYAHoE+qWlrYS3tw8kUEblDvicMzB9gCrjcxZsBQAd+V25yM07HxRpN/eR2aTT291LnyYb60ltXmwCW8tZVUvgDJ25xxnGRXH/Y9Uto4XQ/YpGl1uOzmuk/dw3s12fssjAg43KZArkYIk2jJkCsWWmajP4mFotlqunWrfZbyBtV1VbqWNoJXM5iHnysPMSSKI4Krtd8norgHpFFeN6nYaZBqCPqPhzUj4iPi2CVdTe0kdPKa7Xym+0cr5XklIxHnhsfICN1blt4Ts5JdPluPD8DyXfiDUf7ReSyBM1uWu3j80kfNHuEDLu4yIyOdtAHpFZ+saxb6Lp13e3KTvHa2k124iiJykYBYbvuhjngEjPOOAccHe6fKNCsrW80iOS0hvdQWP7ZpU2oxQILlhAi2sZBwYvuSdERNowJBWe2ma1N4ReK40y7W4XQtftlgW2K7C1xGIYlQM4UFFARAzDaoCkgZoA9cork/Ghm1TwnrFpFpupTpBcQJcQQAo93bhopJhCQwLgxM6YBBJDL9cfWbDTJtB0wWnhzUj4dj1hJbzT4rSRA8XlsAwteG8oTGNmj2DJRn2MDuYA9Eory/TfD1vfCzt/8AhHp08PP4lmnt7G+tTsjg+xSqW8l8+VG1xvZVYLjeuAMgV5J4lg+Jtr4q1e30aLxdDpcV7MlnHZrcrAkIchBGF+UIFwABxjGKAPpPWPC2ja/Kkmp2fn7dgZPNdUmCNvRZUUhZVVskK4YDLYHJzsUUUAFFFFAFPUtJ03WbdbfVNPtL6BXDrHdQrKobBGQGBGcEjPuaksbCz0yzjs7C0gtLWPOyGCMRouSScKOBkkn8aKKAC3sbe0nu5oI9kl3KJpzuJ3uEWMHnp8qKOPT1zViiigAooooAKKKKACqepaXaatbrDdpIQjh43ileKSNsEZR0IZTgkEgjIYjoSKKKADStKsdD0u30zTLaO2s7dNkUSdFH8ySckk8kkk5Jq5RRQAUUUUAU9S0u01a3WG7SQhHDxvFK8UkbYIyjoQynBIJBGQxHQkUaVpVjoel2+maZbR21nbpsiiToo/mSTkknkkknJNFFAFyiiigCOeCG6t5be4ijmglQpJHIoZXUjBBB4II4xVPTNC0fRPN/snSrGw87HmfZLdIt+M4ztAzjJ6+poooAr3XhbRr7WINUubPzLqGVZ0Blfy/NVdqymPOxpAvAcqWAC4PyjGxRRQAUUUUAFFFFABRRRQB//9k=)
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] |
[Back]
|