More on expressibility of satisfiability in submodels and extensions

Nikolai L. Poliakov, Denis I. Saveliev

We study expressibility in infinitary languages of the modal operators associated with satisfiability of sentences of these languages in submodels and extensions of models. We give…