Pages that link to "Item:Q5935787"
From MaRDI portal
The following pages link to Completeness and decidability results for some propositional modal logics containing ``actually'' operators (Q5935787):
Displayed 9 items.
- First-order modal logic with an `actually' operator (Q817958) (← links)
- Remarks on Gregory's ``actually'' operator (Q1610620) (← 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)
- Deciding regular grammar logics with converse through first-order logic (Q2567343) (← links)
- COMPLETENESS RESULTS FOR SOME TWO-DIMENSIONAL LOGICS OF ACTUALITY (Q2890696) (← links)
- The Semantics of Actuality Terms: Indexical vs. Descriptive Theories (Q2965388) (← links)
- A TWO-DIMENSIONAL LOGIC FOR TWO PARADOXES OF DEONTIC MODALITY (Q5046604) (← links)
- A two-dimensional logic for diagonalization and the a priori (Q6088589) (← links)