Associate Professor
Update: 2025-12-04
Morteza Moniri
Mathematical Sciences / Mathematics
Master Theses
-
An Axiomatization for the Multi-modal Logic of Knowledge and Linear Time
Emad Poolayi 2025 -
Active learning for extended finite state machines
Amirreza Azadi 2025 -
A Fuzzy Modal Logic for Fuzzy Transition Systems
Mohammad mahdi Abadam beik kharaghanian 2024 -
Temporal logic motion planning for mobile robots
Delaram Kiani Rezazadeh 2024 -
Equilibria for games with combined qualitative and quantitative objectives
Soheil Shirpoor 2024 -
Extending Dynamic Logic with Refinements of Abstract Actions
Maryam Hakamian 2023 -
Cut elimination , Tautology elimination for modal logic S5
Zahra Saatian 2023 -
Investigating the correspondence between modal and relational properties in intuitionistic modal logic
Adel Ghobakhlou 2022 -
Logic based study of natural languages
Hafez Kamrani dargiri 2022 -
Multi-sets in Type Theory
Kian Adib Ghiassi 2022 -
TOPOLOGICAL AND MULTI-TOPOLOGICAL FRAMES IN THE CONTEXT OF INTUITIONISTIC MODAL LOGIC
Ali Naseri 2021 -
An axiomatic system for Quantum Logic suggested by Quantum Computing
Atieh Pourderakhshan 2020 -
distributed temporal logic for the analysis of security protocol models
Saman Parvaneh 2018 -
A generalization of myhill-nerode theorem for fuzzy languages
Mohammad Babayi 2018 -
ESLAM HEMMATI AGHDAM 2018 -
Rezvan Goodarzi 2018 -
Zohreh Rasoulkhani Balgehshiri 2017 -
Majid Alaei 2017 -
Amin Takhsideh 2015 -
Hamed Rezaei 2015 -
Sara Elahi 2015 -
Safieh Khazaee 2015 -
Koosha Shafiee 2015 -
MOHAMMAD MOHAMMADI TALVAR 2015 -
Fereydun Tavakoli 2014 -
Mehrdad Saadati Poor 2014 -
Semko Feyzollahzadeh 2014 -
Mozhdeh Moradi Vali 2014 -
2014 -
Hamzeh Mohammadi 2013 -
Azam Nouri 2012 -
Somayeh Chapaghloo 2012 -
Vahid Azizi Nasrabadi 2012 -
Marjan Movahedan Peyman Hagh 2012 -
Somayeh Khalili Nejad 2012 -
Amirhossein Sharafi 2011 -
2008