The following pages link to Mostafa Zaare (Q535158):
Displayed 5 items.
- Homomorphisms and chains of Kripke models (Q535159) (← links)
- Preservation theorems for Kripke models (Q3619870) (← links)
- Extensions of Kripke models (Q5095626) (← links)
- From forcing to satisfaction in Kripke models of intuitionistic predicate logic (Q5095648) (← links)
- Forcing and satisfaction in Kripke models of intuitionistic arithmetic (Q5241922) (← links)