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

matrix game logicstit logics

Mathematics Subject Classification ID

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

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

(4)

• Doing without nature
• Choice-driven counterfactuals
• Using STIT theory to talk about strategies
• Bringing de re and de dicto into STIT logic

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)