Pages that link to "Item:Q3431962"
From MaRDI portal
The following pages link to Embedding Alternating-time Temporal Logic in Strategic Logic of Agency (Q3431962):
Displayed 17 items.
- Combinations of \textit{stit} with \textit{ought} and \textit{know} (Q266671) (← links)
- A logic for reasoning about counterfactual emotions (Q543627) (← links)
- Combinations of stit and actions (Q616041) (← links)
- Completeness of a branching-time logic with possible choices (Q622622) (← links)
- Actions as events (Q692178) (← links)
- Some forms of collectively bringing about or `seeing to it that' (Q830364) (← links)
- Complexity results of STIT fragments (Q1928487) (← links)
- Probabilistic stit logic and its decomposition (Q1951297) (← links)
- A dynamic logic of agency. I: STIT, capabilities and powers (Q2268355) (← links)
- Probabilistic Stit Logic (Q3011971) (← links)
- Update Semantics for Imperatives with Priorities (Q3094001) (← links)
- A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’ (Q3522047) (← links)
- A Complete STIT Logic for Knowledge and Action, and Some of Its Applications (Q3601785) (← links)
- Constructive knowledge: what agents can achieve under imperfect information (Q3647280) (← links)
- ACTION TYPES IN STIT SEMANTICS (Q4600819) (← links)
- THE LOGIC OF JOINT ABILITY IN TWO-PLAYER TACIT GAMES (Q5357326) (← links)
- Stit semantics for epistemic notions based on information disclosure in interactive settings (Q5919130) (← links)