Stit logics, games, knowledge, and freedom

DOI10.1007/978-3-319-06025-5_23zbMATH Open1323.03015OpenAlexW273342818MaRDI QIDQ5249685FDOQ5249685

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

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

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)

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)