Wyniki wyszukiwania - BazTech

Ograniczanie wyników

2 Fundamenta Informaticae

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: truth definition

Sortuj według:

Ogranicz wyniki do:

A Modal Logic of a Truth Definition for Finite Models

Czarnecki Marek, Zdanowski Konrad

Fundamenta Informaticae

2019

Vol. 164, nr 4

299--325

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.

Finite Arithmetics

Krynicki M., Mostowski M., Zdanowski K.

Fundamenta Informaticae

2007

Vol. 81, nr 1-3

183-202

The paper presents the current state of knowledge in the field of logical investigations of finite arithmetics. This is an attempt to summarize the ideas and results in this area. Some new results are presented - these are mainly generalizations of the earlier results related to properties of sl-theories and some nontrivial cases of FM-representability theorem.