Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: Solovay's theorem

Sortuj według:

Ogranicz wyniki do:

Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik

An Arithmetically Complete Predicate Modal Logic

100%

Hao Y., Tourlakis G.

Bulletin of the Section of Logic

2021

tom 50

nr 4

513-541

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.

Ograniczanie wyników

1 Bulletin of the Section of Logic

1 Hao Y.

1 Tourlakis G.

1 2021

Wyniki wyszukiwania

An Arithmetically Complete Predicate Modal Logic