From coalition logic to STIT
From MaRDI portal
Publication:2852085
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
(26)- On the basic logic ofSTITwith a single agent
- Combinations of \textit{stit} with \textit{ought} and \textit{know}
- Probabilistic stit logic
- Some forms of collectively bringing about or `seeing to it that'
- Experiments in causality and STIT
- Proof-theoretic analysis of the logics of agency: the deliberative STIT
- Deontic epistemic stit logic distinguishing modes of mens rea
- Everything is learnable, once it is settled
- Using STIT theory to talk about strategies
- Stit logics, games, knowledge, and freedom
- 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
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)
