- Tytuł:
- Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic
- Autorzy:
- Witczak, Tomasz
- Data publikacji:
- 2019
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
intuitionistic modal logic
neighbourhood semantics
topological semantics
Kripke frames
soundness and completeness - Dostawca treści:
- Biblioteka Nauki
Artykuł