- Tytuł:
- Modal Boolean Connexive Logics: Semantics and Tableau Approach
- Autorzy:
-
Jarmużek, Tomasz
Malinowski, Jacek - Data publikacji:
- 2019
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
Boolean connexive logics
connexive logic
modal Boolean connexive logics
modal logics
normal modal logics
possible worlds semantics
relatedness
relating logic
relating semantics
tableau methods - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki
Artykuł