Pages that link to "Item:Q1394219"

The following pages link to 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 (Q1394219):

Displayed 2 items.

• The interpreted type-free modal calculus \(MC^\infty\). III: Ordinals and cardinals im \(MC^\infty\) (Q1216292) ‎ (← links)
• On Gupta's book ``The logic of common nouns'''' (Q2366526) ‎ (← links)