
T (+98) 23 352 20220
Email: international@du.ac.ir
Damghan University
University Blvd, Damghan, IR
Assistant Professor of Pure Mathematics
Mathematical Logic
Shahid Beheshti University, Tehran, Iran
Pure Mathematics
Isfahan University of Technology, Isfahan, Iran
Pure Mathematics
Isfahan University of Technology, Isfahan, Iran
Zaare, M. Extensions of Kripke models (2017) Logic Journal of the IGPL, 25 (5), pp. 697-699.
DOI: 10.1093/jigpal/jzx008
AUTHOR KEYWORDS: Intuitionistic logic; Kripke model; Preservation; Submodel
PUBLISHER: Oxford University Press
DOI: 10.1007/s00153-010-0224-5
AUTHOR KEYWORDS: Elementary submodel; Existential sentence; Intuitionistic logic; Kripke model; Submodel; Union of chain; Universal sentence