×

zbMATH — the first resource for mathematics

General operators binding variables in the interpreted modal calculus \(MC^\nu\). (English) Zbl 0525.03005

MSC:
03B45 Modal logic (including the logic of norms)
03B15 Higher-order logic; type theory (MSC2010)
PDF BibTeX XML Cite