1-4 of 4
Authors: Mojtaba Mojtahedi
Journal Article
Unification types in Euclidean modal logics Get access
Logic Journal of the IGPL, Volume 31, Issue 3, June 2023, Pages 422–440, https://doi.org/10.1093/jigpal/jzab036
Published: 26 January 2022
Journal Article
Unification with parameters in the implication fragment of classical propositional logic Get access
Logic Journal of the IGPL, Volume 30, Issue 3, June 2022, Pages 454–464, https://doi.org/10.1093/jigpal/jzab014
Published: 07 April 2021
Journal Article
Localizing finite-depth Kripke models Get access
Logic Journal of the IGPL, Volume 27, Issue 3, May 2019, Pages 239–251, https://doi.org/10.1093/jigpal/jzy036
Published: 12 September 2018
Journal Article
Reduction of provability logics to Σ1-provability logics Get access
Logic Journal of the IGPL, Volume 23, Issue 5, October 2015, Pages 842–847, https://doi.org/10.1093/jigpal/jzv031
Published: 21 August 2015
