Pavelka-style fuzzy justification logics M Ghari Logic Journal of the IGPL 24 (5), 743-773, 2016 | 21 | 2016 |
Justification logics in a fuzzy setting M Ghari arXiv preprint arXiv:1407.4647, 2014 | 19 | 2014 |
Impossible and Conflicting Obligations in Justification Logic. FLG Faroldi, M Ghari, E Lehmann, T Studer DEON, 151-165, 2021 | 11 | 2021 |
Distributed knowledge justification logics M Ghari Theory of Computing Systems 55, 1-40, 2014 | 11 | 2014 |
Neither simple nor perfect: from defect symmetries to conscious pattern variations in Islamic ornamental art E Makovicky, M Ghari Symmetry: Culture and Science 29 (2), 279-301, 2018 | 8 | 2018 |
Temporal justification logic S Bucheli, M Ghari, T Studer arXiv preprint arXiv:1703.02195, 2017 | 8 | 2017 |
Labeled sequent calculus for justification logics M Ghari Annals of Pure and Applied Logic 168 (1), 72-111, 2017 | 7 | 2017 |
Aspects of the joint logic of proofs and provability M Ghari Ph. D. thesis, Isfahan University of Technology, in Persian, 2012 | 7 | 2012 |
Distributed knowledge with justifications M Ghari European Summer School in Logic, Language and Information, 91-108, 2010 | 6 | 2010 |
Consistency and permission in deontic justification logic FLG Faroldi, M Ghari, E Lehmann, T Studer Journal of Logic and Computation, exac045, 2022 | 4 | 2022 |
Cut elimination and realization for epistemic logics with justification M Ghari Journal of Logic and Computation 22 (5), 1171-1198, 2012 | 4 | 2012 |
Eplicit Godel-Lob Provability Logic M Ghari Proceedings of the 42nd Annual Iranian Mathematics Conference, Vali-e-Asr …, 2011 | 4 | 2011 |
Justification counterpart of distributed knowledge systems M Ghari Proceedings of the 15th ESSLLI Student Session, Copenhagen, Denmark, 25-36, 2010 | 4 | 2010 |
Linear temporal justification logics with past operators M Ghari arXiv preprint arXiv:1809.00167, 2018 | 3 | 2018 |
Linear temporal justification logics with past and future time modalities M Ghari Logic Journal of the IGPL 31 (1), 1-38, 2023 | 2 | 2023 |
A temporal logic of epistemic and normative justifications, with an application to the Protagoras paradox M Ghari arXiv preprint arXiv:2109.10018, 2021 | 1 | 2021 |
A Note on Fixed Points in Justification Logics and the Surprise Test Paradox M Ghari arXiv preprint arXiv:1403.4407, 2014 | 1 | 2014 |
Labeled Sequent Calculus and Countermodel Construction for Justification Logics M Ghari arXiv preprint arXiv:1401.1065, 2014 | 1 | 2014 |
On Boolean Algebraic Structure of Proofs: Towards an Algebraic Semantics for the Logic of Proofs A Farahmand Parsa, M Ghari Studia Logica 111 (4), 573-613, 2023 | | 2023 |
An extension of the logic of proofs with actions M Ghari, F Majlesi Logical Studies 14 (1), 127-145, 2023 | | 2023 |