Small model property reflects in games and automata

Prelegent(ci)

Maciej Zielenkiewicz

Afiliacja

MIMUW

Termin

19 listopada 2021 12:15

Pokój

p. 5820

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---

Let's choose a logic theory having the small model property. I will show that the size of the small model used in the definition of the property can be directly used to show a limit on the number of maximal variables 1n an Aphrodite strategy in games for finding a proof. On the other hand I'll show that the size of the small model, with the numbers of variables and subformulas, can be used to construct a limit on the size of the set of eigenvariables of an Arcadian automaton.

---