×

zbMATH — the first resource for mathematics

ZFC-models as Kripke-models. (English) Zbl 0519.03013

MSC:
03B45 Modal logic (including the logic of norms)
03F30 First-order arithmetic and fragments
PDF BibTeX XML Cite
Full Text: DOI