- Tytuł:
- An Arithmetically Complete Predicate Modal Logic
- Autorzy:
-
Hao, Yunge
Tourlakis, George - Powiązania:
- https://bibliotekanauki.pl/articles/2033850.pdf
- Data publikacji:
- 2021-08-23
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
Predicate modal logic
arithmetic completeness
logic GL
Solovay's theorem
equational proofs - Opis:
- This paper investigates a first-order extension of GL called \(\textup{ML}^3\). We outline briefly the history that led to \(\textup{ML}^3\), its key properties and some of its toolbox: the \emph{conservation theorem}, its cut-free Gentzenisation, the ``formulators'' tool. Its semantic completeness (with respect to finite reverse well-founded Kripke models) is fully stated in the current paper and the proof is retold here. Applying the Solovay technique to those models the present paper establishes its main result, namely, that \(\textup{ML}^3\) is arithmetically complete. As expanded below, \(\textup{ML}^3\) is a first-order modal logic that along with its built-in ability to simulate general classical first-order provability―"\(\Box\)" simulating the the informal classical "\(\vdash\)"―is also arithmetically complete in the Solovay sense.
- Źródło:
-
Bulletin of the Section of Logic; 2021, 50, 4; 513-541
0138-0680
2449-836X - Pojawia się w:
- Bulletin of the Section of Logic
- Dostawca treści:
- Biblioteka Nauki
Artykuł