Pages that link to "Item:Q1248616"

The following pages link to The elimination of descriptions from A. Bressan's modal language \(ML^\nu\) on which the logical calculus \(MC^\nu\) is based (Q1248616):

Displayed 1 item.

• A completeness theorem for the general interpreted modal calculus MC**nu of A. Bressan (Q1163535) ‎ (← links)