Counterfactual and seeing-to-it responsibilities in strategic games

DOI10.1016/j.apal.2023.103353OpenAlexW4385605238MaRDI QIDQ6076365

Jia Tao, Pavel Naumov

Publication date: 21 September 2023

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2023.103353

zbMATH Keywords

completenessaxiomatizationresponsibilityundefinability

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Proof theory in general (including proof-theoretic semantics) (03F03) Logic in the philosophy of science (03A10)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Deontic epistemic stit logic distinguishing modes of mens rea
• Alternative axiomatics and complexity of deliberative STIT theories
• Axioms for deliberative stit
• Together we know how to achieve: an epistemic logic of know-how
• The deliberative stit: A study of action, omission, ability, and obligation
• An epistemic logic of blameworthiness
• Action and knowledge in alternating-time temporal logic
• Inference as doxastic agency. I: The basics of justification stit logic
• A logical analysis of responsibility attribution: emotions, individuals and collectives
• Alternating-time temporal logic
• A STIT-Extension of ATL
• A logic for reasoning about responsibility
• A Modal Logic for Coalitional Power in Games
• ACTION TYPES IN STIT SEMANTICS
• Strategic Knowledge Acquisition
• Intelligence in Strategic Games
• Coalition logic with individual, distributed and common knowledge1

This page was built for publication: Counterfactual and seeing-to-it responsibilities in strategic games