Pages that link to "Item:Q817958"
From MaRDI portal
The following pages link to First-order modal logic with an `actually' operator (Q817958):
Displaying 14 items.
- The logic of counterpart theory with actuality (Q742471) (← links)
- Axioms for actuality (Q792998) (← links)
- On modal logics which enrich first-order S5 (Q801894) (← links)
- Individual-actualism and three-valued modal logics. I: Model-theoretic semantics (Q1092031) (← links)
- Remarks on Gregory's ``actually'' operator (Q1610620) (← links)
- Actualism, serious actualism, and quantified modal logic (Q1750301) (← links)
- Actuality, tableaux, and two-dimensional modal logics (Q1797901) (← links)
- First-order modal logic (Q1870904) (← links)
- Investigations into quantified modal logic (Q1882400) (← links)
- In the mood for S4: the expressive power of the subjunctive modal language in weak background logics (Q2352453) (← links)
- Actuality in propositional modal logic (Q2377050) (← links)
- Completeness results for some two-dimensional logics of actuality (Q2890696) (← links)
- STRONGLY MILLIAN SECOND-ORDER MODAL LOGICS (Q5357324) (← links)
- First-order modal logic (Q6535436) (← links)