Login / Signup
Maryam Abiri
Publication Activity (10 Years)
Years Active: 2018-2019
Publications (10 Years): 2
Top Topics
Theorem Prover
Kripke Models
Computational Linguistics
Order Sorted
Top Venues
Log. J. IGPL
</>
Publications
</>
Maryam Abiri
,
Morteza Moniri
,
Mostafa Zaare
Forcing and satisfaction in Kripke models of intuitionistic arithmetic.
Log. J. IGPL
27 (5) (2019)
Maryam Abiri
,
Morteza Moniri
,
Mostafa Zaare
From forcing to satisfaction in Kripke models of intuitionistic predicate logic.
Log. J. IGPL
26 (5) (2018)