The interpreted type-free modal calculus MC\(^\infty\). II: Foundations of MC\(^\infty\)

zbMath0285.02020MaRDI QIDQ1844817

Aldo Bressan

Publication date: 1974

Published in: Rendiconti del Seminario Matematico della Università di Padova (Search for Journal in Brave)

Full work available at URL: http://www.numdam.org/item?id=RSMUP_1973__50__19_0

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Nonclassical and second-order set theories (03E70)

Cites Work

• Über die Unabhängigkeit des Wohlordnungssatzes vom Ordnungsprinzip
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The interpreted type-free modal calculus MC\(^\infty\). II: Foundations of MC\(^\infty\)