Pages that link to "Item:Q801894"
From MaRDI portal
The following pages link to On modal logics which enrich first-order S5 (Q801894):
Displayed 9 items.
- Modal ontology and generalized quantifiers (Q373015) (← links)
- Bad company tamed (Q1036088) (← links)
- Where do the natural numbers come from? (Q1202499) (← links)
- Actualism, serious actualism, and quantified modal logic (Q1750301) (← links)
- On the expressive power of first-order modal logic with two-dimensional operators (Q2218707) (← links)
- Extensionalizing intensional second-order logic (Q2345400) (← links)
- Natural deduction for modal logic with a backtracking operator (Q2516578) (← links)
- Modal Platonism: an easy way to avoid ontologial commitment to abstract entities (Q2572382) (← links)
- STRONGLY MILLIAN SECOND-ORDER MODAL LOGICS (Q5357324) (← links)