PL
 |
EN
Ograniczanie wyników
Czasopisma help
  1. 1 Fundamenta Informaticae
Autorzy help
  1. 1 Czarnecki Marek
  2. 1 Zdanowski Konrad
Lata help
  1. 1 2019
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników
Powiadomienia systemowe
  • Sesja wygasła!
  • Sesja wygasła!
  • Sesja wygasła!
  • Sesja wygasła!

Znaleziono wyników: 1

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote A Modal Logic of a Truth Definition for Finite Models
Czarnecki Marek, Zdanowski Konrad
Fundamenta Informaticae
|
2019
|
Vol. 164, nr 4
299--325
EN
The property of being true in almost all finite, initial segments of the standard model of arithmetic is ∑02 –complete. Thus, it admits a kind of a truth definition. We define such an arithmetical predicate. Then, we define its modal logic SL and prove a completeness theorem with respect to finite models semantics. The proof that SL is the modal logic of the approximate truth definition for finite arithmetical models is based on an extension of SL by a fixed-point construction.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.