Pages that link to "Item:Q1928487"
From MaRDI portal
The following pages link to Complexity results of STIT fragments (Q1928487):
Displaying 11 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)
- A logic for reasoning about counterfactual emotions (Q543627) (← links)
- Decidability of logics based on an indeterministic metric tense logic (Q897475) (← links)
- Decidability of stit theory with a single agent and Refref equivalence (Q1327485) (← links)
- Deontic STIT logic, from logical paradox to security policy (Q1797760) (← links)
- Probabilistic stit logic and its decomposition (Q1951297) (← 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)
- Uncompactness of stit logics containing generalized refref conditionals (Q5937832) (← links)