Pages that link to "Item:Q801894"
From MaRDI portal
The following pages link to On modal logics which enrich first-order S5 (Q801894):
Displaying 14 items.
- Modal ontology and generalized quantifiers (Q373015) (← links)
- Some theorems on the expressive limitations of modal languages (Q792997) (← links)
- Bad company tamed (Q1036088) (← links)
- Where do the natural numbers come from? (Q1202499) (← links)
- Actualism, serious actualism, and quantified modal logic (Q1750301) (← links)
- Investigations into quantified modal logic (Q1882400) (← 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)
- (Q3607560) (← links)
- (Q3760512) (← links)
- STRONGLY MILLIAN SECOND-ORDER MODAL LOGICS (Q5357324) (← links)
- Modal Logics Between S 4 and S 5 (Q5567827) (← links)