Pages that link to "Item:Q1928487"
From MaRDI portal
The following pages link to Complexity results of STIT fragments (Q1928487):
Displayed 6 items.
- Combinations of \textit{stit} with \textit{ought} and \textit{know} (Q266671) (← links)
- A STIT logic for reasoning about social influence (Q310094) (← links)
- Decidability of an Xstit logic (Q456970) (← links)
- Decidability of logics based on an indeterministic metric tense logic (Q897475) (← links)
- Temporal logic and its application to normative reasoning (Q4583324) (← links)
- Stit semantics for epistemic notions based on information disclosure in interactive settings (Q5919130) (← links)