- Tytuł:
- Neighborhood Semantics for Basic and Intuitionistic Logic
- Autorzy:
-
Moniri Morteza
Maleki Fatemeh Shirmohammadzadeh - Data publikacji:
- 2015-08-20
- Tematy:
-
Intuitionistic Logic
Basic Logic
Kripke models
neighborhood models
bisimulation
modal logic
topological semantics - Pokaż więcej
- Dostawca treści:
- CEJSH
Artykuł