- Tytuł:
- An Arithmetically Complete Predicate Modal Logic
- Autorzy:
-
Hao, Yunge
Tourlakis, George - Data publikacji:
- 2021-08-23
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
Predicate modal logic
arithmetic completeness
logic GL
Solovay's theorem
equational proofs - Dostawca treści:
- Biblioteka Nauki
Artykuł