Omitting Types Theorem in hybrid-dynamic first-order logic with rigid symbols

DOI10.1016/J.APAL.2022.103212arXiv2203.08720WikidataQ123349894 ScholiaQ123349894MaRDI QIDQ6393886

Tomasz Kowalski, Guillermo Badia, Daniel Găină

Publication date: 9 March 2022

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Model theory (03C99) Model-theoretic forcing (03C25) Abstract model theory (03C95)

This page was built for publication: Omitting Types Theorem in hybrid-dynamic first-order logic with rigid symbols