The interpreted type-free modal calculus \(MC^\infty\). III: Ordinals and cardinals im \(MC^\infty\)

zbMath0304.02009MaRDI QIDQ1216292

Aldo Bressan

Publication date: 1975

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_1974__51__1_0

Mathematics Subject Classification ID

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

Cites Work

• The interpreted type-free modal calculus MC\(^\infty\). I: The type free extensional calculus EC\(^\infty\) involving individuals, and the interpreted language ML\(^\infty\) on which MC\(\infty\) is based
• Unnamed Item
• Unnamed Item
• Unnamed Item