Opis

• Tytuł:
  An Arithmetically Complete Predicate Modal Logic
• Twórca:
  Hao, Yunge;
  Tourlakis, George
• Współtwórca:
  Hao, Yunge - York University, Department of Electrical Engineering and Computer Science;
  Tourlakis, George - York University, Department of Electrical Engineering and Computer Science;
  Hao, Yunge - hyggs@my.yorku.ca;
  Tourlakis, George - gt@cse.yorku.ca
• 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.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa: https://creativecommons.org/licenses/by-nc-nd/4.0
• Data:
  2022.03.10;
  2021.08.23
• Typ:
  Other
• Język:
  angielski
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;4;
  50
• Temat i słowa kluczowe:
  Predicate modal logic;
  arithmetic completeness;
  logic GL;
  Solovay's theorem;
  equational proofs
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/41068 ;
  2449-836X;
  10.18778/0138-0680.2021.18
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  sprawdź warunki licencji
• Rodzaj zawartości:
  pozostałe