From coalition logic to STIT
From MaRDI portal
Publication:2852085
zbMATH Open1273.68372MaRDI QIDQ2852085FDOQ2852085
Authors: Andreas Herzig, Nicolas Troquard, Jan Broersen 
Publication date: 7 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106003197
Recommendations
- Quantified coalition logic
- From BDI and stit to bdi-stit logic
- Higher-order coalition logic
- Coalitional rationalizability
- Coalition and relativised group announcement logic
- Coalitional stochastic stability
- Logic for coalitions with bounded resources
- On logics of group belief in structured coalitions
- scientific article; zbMATH DE number 1931676
- On the stability of coalition structures
Cited In (25)
- Probabilistic stit logic
- Combinations of \textit{stit} with \textit{ought} and \textit{know}
- Experiments in causality and STIT
- Some forms of collectively bringing about or `seeing to it that'
- Everything is learnable, once it is settled
- Deontic epistemic stit logic distinguishing modes of mens rea
- Stit logics, games, knowledge, and freedom
- Using STIT theory to talk about strategies
- Model Checking Strategic Equilibria
- Principles of Talmudic logic
- Choice-driven counterfactuals
- An axiomatic system and a tableau calculus for STIT imagination logic
- Restricted interpolation and lack thereof in stit logic
- Complexity results of STIT fragments
- From BDI and stit to bdi-stit logic
- Deontic STIT logic, from logical paradox to security policy
- Collective agency, direct action and dynamic operators
- Temporal STIT logic and its application to normative reasoning
- Comparing semantics for temporal STIT logic
- A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
- A STIT-Extension of ATL
- A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
- Probabilistic stit logic and its decomposition
- ACTION TYPES IN STIT SEMANTICS
- On the basic logic ofSTITwith a single agent
This page was built for publication: From coalition logic to STIT
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2852085)
