Partial isomorphisms and intuitionistic logic

DOI10.1007/BF00401658zbMath0496.03011OpenAlexW2038737679MaRDI QIDQ1170233

Bernd I. Dahn

Publication date: 1981

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00401658

zbMATH Keywords

gamescategoricityequivalence of Kripke modelsfinitary and infinitary intuitionistic predicate logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55) Categoricity and completeness of theories (03C35)

Cites Work

• Unnamed Item
• On models with variable universe
• An application of games to the completeness problem for formalized theories
• Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics

This page was built for publication: Partial isomorphisms and intuitionistic logic