Pages that link to "Item:Q6088503"
From MaRDI portal
The following pages link to The Barcan formulas and necessary existence: the view from quarc (Q6088503):
Displaying 4 items.
- Incompleteness and the Barcan formula (Q1896788) (← links)
- Contingent objects and the Barcan formula (Q2432045) (← links)
- The quantified argument calculus with two- and three-valued truth-valuational semantics (Q2698282) (← links)
- Decidable fragments of the quantified argument calculus (Q6638233) (← links)