Stit logics, games, knowledge, and freedom

DOI10.1007/978-3-319-06025-5_23MaRDI QIDQ5249685zbMATH OpenOpenAlexFDO

Authors Roberto Ciuni, J. F. Horty

Publication date 11 May 2015

Published in Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-06025-5_23

zbMATH Keywords

stit logicsmatrix game logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Game theory (91A99) Modal logic (including the logic of norms) (03B45)

Recommendations

• Comparing semantics for temporal STIT logic
• Complexity results of STIT fragments
• From coalition logic to STIT
• Game logic and its applications. I
• Properties of logics of individual and group agency

Cited in

(3)

• Using STIT theory to talk about strategies
• Choice-driven counterfactuals
• Doing without nature

This page was built for publication: Stit logics, games, knowledge, and freedom

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5249685)