7 found
Order:
  1.  11
    The Σ1-Provability Logic of HA.Mohammad Ardeshir & Mojtaba Mojtahedi - 2018 - Annals of Pure and Applied Logic 169 (10):997-1043.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  10
    Localizing Finite-Depth Kripke Models.Mojtaba Mojtahedi - 2019 - Logic Journal of the IGPL 27 (3):239-251.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  10
    The Σ1-Provability Logic of HA.Mohammad Ardeshir & Mojtaba Mojtahedi - forthcoming - Journal of Symbolic Logic:1-18.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  1
    Mathematics, Logic, and Their Philosophies: Essays in Honour of Mohammad Ardeshir.Mojtaba Mojtahedi, Shahid Rahman & MohammadSaleh Zarepour (eds.) - 2021 - Springer.
    This volume is a collection of essays in honour of Professor Mohammad Ardeshir. It examines topics which, in one way or another, are connected to the various aspects of his multidisciplinary research interests. Based on this criterion, the book is divided into three general categories. The first category includes papers on non-classical logics, including intuitionistic logic, constructive logic, basic logic, and substructural logic. The second category is made up of papers discussing issues in the contemporary philosophy of mathematics and logic. (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  3
    Unification Types in Euclidean Modal Logics.Majid Alizadeh, Mohammad Ardeshir, Philippe Balbiani & Mojtaba Mojtahedi - forthcoming - Logic Journal of the IGPL.
    We prove that $\textbf {K}5$ and some of its extensions that do not contain $\textbf {K}4$ are of unification type $1$.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  11
    The -Provability Logic Of.Mohammad Ardeshir & Mojtaba Mojtahedi - 2019 - Journal of Symbolic Logic 84 (3):1118-1135.
    For the Heyting Arithmetic HA, $HA^{\text{*}} $ is defined [14, 15] as the theory $\left\{ {A|HA \vdash A^\square } \right\}$, where $A^\square $ is called the box translation of A. We characterize the ${\text{\Sigma }}_1 $-provability logic of $HA^{\text{*}} $ as a modal theory $iH_\sigma ^{\text{*}} $.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  4
    Unification with Parameters in the Implication Fragment of Classical Propositional Logic.Philippe Balbiani & Mojtaba Mojtahedi - 2022 - Logic Journal of the IGPL 30 (3):454-464.
    In this paper, we show that the implication fragment of classical propositional logic is finitary for unification with parameters.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark