Afshin Pouria (1978 – present) انبازیها: گسترشها درآمدی به گویایی ناکلاسیک درآمدی به گویایی ناکلاسیک 2020 translator Afshin Pouria The Correspondence between Intuitionistic and superIntuitionistic logic and modal logic S4 and above S4 The Correspondence between Intuitionistic and superIntuitionistic logic and modal logic S4 and above S4 2019 author Afshin Pouria Logical-Historical Analysis of Gödel's Metatheorem in Modal Logic Logical-Historical Analysis of Gödel's Metatheorem in Modal Logic 2018 author Afshin Pouria