- Tytuł:
- Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
- Autorzy:
-
Găină, Daniel
Badia, Guillermo
Kowalski, Tomasz - Data publikacji:
- 2023
- Słowa kluczowe:
-
omitting types theorem
dynamic logic
forcing
hybrid logic
institution - Pokaż więcej
- Dostawca treści:
- Repozytorium Uniwersytetu Jagiellońskiego