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

zbMath0279.02010MaRDI QIDQ1394219

Aldo Bressan

Publication date: 1973

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__49__157_0

Mathematics Subject Classification ID

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

Related Items (3)

On Gupta's book ``The logic of common nouns' ⋮ CIFOL: case-intensional first order logic. I: Toward a theory of sorts ⋮ The interpreted type-free modal calculus \(MC^\infty\). III: Ordinals and cardinals im \(MC^\infty\)

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\). I: The type free extensional calculus EC\(^\infty\) involving individuals, and the interpreted language ML\(^\infty\) on which MC\(\infty\) is based