×

zbMATH — the first resource for mathematics

Completeness theorems for modal model theory with the MontagueChang semantics. I. (English) Zbl 0362.02043

MSC:
03C99 Model theory
03B45 Modal logic (including the logic of norms)
PDF BibTeX XML Cite
Full Text: DOI