Publications
In English
Tableaux and interpolation for propositional justification logics, Notre Dame Journal of Formal Logic, Accepted for publication, 2024.
A formalization of the Protagoras court paradox in a temporal logic of epistemic and normative reasons, Artificial Intelligence and Law, Published online 16 March 2023.
[DOI] [View full-text]
On Boolean algebraic structure of proofs: Towards an algebraic semantics for the logic of proofs, (joint paper with Amir Farahmand Parsa) Studia Logica, Published online 31 January 2023.
[DOI] [View full-text]
Consistency and permission in deontic justification logic, (joint paper with F. Faroldi, E. Lehmann, T. Studer) Journal of Logic and Computation, Published online 11 July 2022.
[DOI]
Linear temporal justification logics with past and future time modalities, Logic Journal of the IGPL, 31(1):1–38, 2023. Published online 20 September 2021.
[DOI]
Impossible and conflicting obligations in justification logic, (joint paper with F. Faroldi, E. Lehmann, T. Studer) In Fenrong Liu, Alessandra Marra, Paul Portner, and Frederik Van De Putte (eds.). Deontic Logic and Normative Systems: 15th International Conference (DEON2020/2021, Munich), pages 151-165. London: College Publications, 2021.
[link]
Neither simple nor perfect – From defect symmetries to conscious pattern variations in Islamic ornamental art, (joint paper with E. Makovicky) Symmetry: Culture and Science, 29(2): pp. 279-301, 2018.
[DOI]
Temporal justification logic, (joint paper with S. Bucheli, T. Studer) In Sujata Ghosh and Ramanujam: Proceedings of the Ninth Workshop on Methods for Modalities (M4M9 2017), Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017, Electronic Proceedings in Theoretical Computer Science 243, pages 59-74, 6 March 2017.
Labeled sequent calculus for justification logics, Annals of Pure and Applied Logic, 168(1): 72-111, 2017. Published online 31 August 2016.
[DOI]
Pavelka-style fuzzy justification logics, Logic Journal of the IGPL, 24(5): 743-773, 2016. Published online 9 May 2016.
[DOI]
Distributed knowledge justification logics, Theory of Computing Systems, 55(1): 1-40, 2014. Published online 4 August 2013.
[DOI]
Distributed knowledge with justifications, In Daniel Lassiter and Marija Slavkovik, editors, New Directions in Logic, Language and Computation, ESSLLI 2010 and ESSLLI 2011 Student Sessions, Selected Papers. Lecture Notes in Computer Science, Vol. 7415, pages 91-108, 2012.
Cut elimination and realization for epistemic logics with justification, Journal of Logic and Computation, 22(5): 1171-1198, 2012. Published online 18 July 2011.
[DOI]
Realization theorem for epistemic logic with justification, Proceedings of the Jangjeon Mathematical Society, vol. 15, No. 1, pages 47-52, 2012.
Eplicit Godel-Lob provability logic, Proceedings of the 42nd Annual Iranian Mathematics Conference, pages 911-914, Vali-e-Asr University, Rafsanjan, Iran, September 5-8, 2011.
Justification counterpart of distributed knowledge systems, In Marija Slavkovik, editor, Proceedings of the 15th Student Session of 13th European Summer School for Logic, Language and Information, pages 25–36, Copenhagen, Denmark, August 9–20, 2010.
Errata are published in "Distributed Knowledge with Justifications, LNCS 7415, 2012".
[pdf]
Preprints
Impossible and Conflicting Obligations in Justification Logic, (joint paper with F. Faroldi, E. Lehmann, T. Studer) arXiv:2309.15763 [cs.LO], September 2023.
A temporal logic of epistemic and normative justifications, with an application to the Protagoras paradox, arXiv:2109.10018 [cs.LO], September 2021.
Algebraic semantics for the logic of proofs, (joint paper with Amir Farahmand Parsa) arXiv:2106.10931 [math.LO], June 2021.
Linear temporal justification logics with past operators, arXiv:1809.00167 [cs.LO], September 2018.
Analytic tableaux for justification logics, arXiv:1606.03562 [math.LO], June 2016.
Tableaux for first order logic of proofs, arXiv:1604.07021 [math.LO], April 2016
Justification logics in a fuzzy setting, arXiv:1407.4647 [math.LO], July 2014.
Tableau proof systems for justification logics, arXiv:1405.1828 [math.LO], May 2014.
A note on fixed points in justification logics and the surprise test paradox, arXiv:1403.4407 [math.LO], March 2014.
Labeled sequent calculus and countermodel construction for justification logics, arXiv:1401.1065 [math.LO], January 2014.
In Persian
Symmetry in mathematics, nature, and art, (joint paper with Sharareh Taghi Dastjerdi) Farnud, Journal of Scientific Educational Association for Isfahan Mathematics Teachers, 23: 33-53, 2024.
[pdf]
An extension of the logic of proofs with actions, (joint paper with F. Majlesi) Logical Studies, 14(1): 127-145,2023
A note on fixed points in quantified logic of proofs and the surprise test paradox, Logical Studies, Volume 12, Issue 1, Pages 129-153, Winter and Spring 2021.
On Shackel’s criticisms against the normativity of belief: A new evidence for truth and knowledge norms of belief, (joint paper with S. A. Kalantary) Knowledge, 13(2):153–180, 2021
Considering the explanatory role of the truth norm in the normativity of belief thesis on the basis of deontic logic: An evidence pro wide norms, (joint paper with S. A. Kalantary) Wisdom and Philosophy, 16(61):89–121, 2020.
Tense forms of Moore's paradox, (joint paper with R. Ebrahimpouresfahani) Logical Studies, Volume 10, Issue 1, Serial Number 19, Summer and Autumn 2019, Page 1-32.
Pinocchio in wonderland 8, (joint paper with S. Dastjerdi) Mathematics Borhan Roshd Quarterly, 122: 22-23, 2021.
Pinocchio in wonderland 7, (joint paper with S. Dastjerdi) Mathematics Borhan Roshd Quarterly, 121: 22-23, 2021.
Pinocchio in wonderland 6, (joint paper with S. Dastjerdi) Mathematics Borhan Roshd Quarterly, 120: 22-23, 2021.
Pinocchio in wonderland 5, (joint paper with S. Dastjerdi) Mathematics Borhan Roshd Quarterly, 119: 18-19, 2021.
Pinocchio in wonderland 4, (joint paper with S. Dastjerdi) Mathematics Borhan Roshd Quarterly, 118: 20-21, 2021.
Pinocchio in wonderland 3, (joint paper with S. Dastjerdi) Mathematics Borhan Roshd Quarterly, 117: 22-23, 2021.
Pinocchio in wonderland 2, (joint paper with S. Dastjerdi) Mathematics Borhan Roshd Quarterly, 116: 22-23, 2021.
Pinocchio in wonderland 1, (joint paper with S. Dastjerdi) Mathematics Borhan Roshd Quarterly, 115: 28-29, 2021.
Symmetry in finite figures, Mathematics Borhan Roshd Quarterly, 108: 20-23, 2018.
[Author's version] [pdf]
Escher's tilings and geometrical transformations (2), Mathematics Borhan Roshd Quarterly, 83: 24-28, 2014.
[Author's version] [pdf]
Escher's tilings and geometrical transformations (1), Mathematics Borhan Roshd Quarterly, 83: 24-28, 2014.
[Author's version] [pdf]
Some puzzles in mathematical logic, Roshd Mathematics Education Journal, vol. 31, No. 4, pages 36-41, 2014.
[Author's version] [pdf]
Report of the fourth annual seminar on mathematical logic and its applications, (joint paper with A. Mofidi) Newsletter of Iranian Association for Logic, No. 4, pages 3-10, 2014.
[pdf]
Mathematics in the view of true Platonism and its method of education, (joint paper with F. Ahmadpour, M. Bagherboum, S. Dastjerdi, M. Vahid) Extended abstracts of the 44nd Annual Iranian Mathematics Conference, pages 11-14, Ferdowsi University of Mashhad, Mashhad, Iran, August 27-30, 2013.
Archimedean tilings, Farnud, Journal of Scientific Educational Association for Isfahan Mathematics Teachers, No. 19, pages 15-24, 2012.
[Author's version with corrected typos]
Tiling by regular polygons, Ettehad, 6 Monthly, Educational and Research Journal, Related to "Iranian Association for Mathematics Teachers Societies", vol. 8 and 9, pages 82-87, 2012.
[Author's version] [pdf]
How to drill polygonal holes? from Reuleaux triangle to metal industry, (joint paper with H. Malekshahi and P. Seraji and M. Movahedi-mehr and S. Mokhtari and E. Faghihinia and R. Hosseini and S. Mirhadi and E. Yavari and F. Nadim and A. Tavajoh) Daricheh, The Quarterly Magazine of Graduates and Students of Isfahan University of Technology, No. 4 and 5, pages 25-28, 2002.
[pdf]
Theses
Aspects of the Joint Logic of Proofs and Provability, Ph.D. thesis, Isfahan University of Technology, 2012. (in Persian)
[pdf] [Extended abstract (in English)]
Computability in Completeness of Kripke Models for Modal Logic, M.Sc. thesis, Tarbiat Modares University, 2005. (in Persian)
[pdf]