- 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 - Źródło:
-
Bulletin of the Section of Logic; 2021, 50, 4; 513-541
0138-0680
2449-836X - Język:
- angielski
- Prawa:
- CC BY-NC-ND: Creative Commons Uznanie autorstwa - Użycie niekomercyjne - Bez utworów zależnych 4.0
- Dostawca treści:
- Biblioteka Nauki
- Artykuł