Results 111 to 120 of about 5,644 (162)

Algebraic aspects of the computably enumerable degrees. [PDF]

Proc Natl Acad Sci U S A, 1995
Slaman TA, Soare RI.
europepmc   +1 more source

Equivalence of partition properties and determinacy. [PDF]

Proc Natl Acad Sci U S A, 1983
Kechris AS, Woodin WH.
europepmc   +1 more source

Infinitary logics and forcing

The main results of this thesis are related to forcing, but our presentation benefits from relating them to another domain of logic: the model theory of infinitary logics. In the 1950s, after the basic framework of first-order model theory had been established, Carol Karp, followed by Makkai, Keisler and Mansfield among others, developed the area of ...
openaire   +1 more source

Early infinitary logic

openaire   +1 more source

SMALL INFINITARY EPISTEMIC LOGICS

SMALL INFINITARY EPISTEMIC LOGICS
openaire  

Infinitary logic in the finite

openaire   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Infinitary Action Logic with Multiplexing

Studia Logica, 2022
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Stepan L. Kuznetsov, Stanislav O. Speranski   +1 more
openaire   +2 more sources

Infinitary S5‐Epistemic Logic [PDF]

Mathematical Logic Quarterly, 1997
AbstractIt is known that a theory in S5‐epistemic logic with several agents may have numerous models. This is because each such model specifies also what an agent knows about infinite intersections of events, while the expressive power of the logic is limited to finite conjunctions of formulas.
openaire   +2 more sources