Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: finite models

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.

Truth in the limit

Mostowski M.

Reports on Mathematical Logic

2016

Vol. 51

75--89

We consider sl–semantics in which first order sentences are interpreted in potentially infinite domains. A potentially infinite domain is a growing sequence of finite models. We prove the completeness theorem for first order logic under this semantics. Additionally we characterize the logic of such domains as having a learnable, but not recursive, set of axioms. The work is a part of author’s research devoted to computationally motivated foundations of mathematics.