DOING WITHOUT ACTION TYPES

DOI10.1017/s1755020320000362OpenAlexW3094190788MaRDI QIDQ6153157

Jan M. Broersen, Aldo Iván Ramírez Abarca, Hein Duijf, Unnamed Author

Publication date: 16 March 2024

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020320000362

zbMATH Keywords

modal logicknowledgestit theoryabilityaction types

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other game-theoretic models (91A40) Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Combinations of \textit{stit} with \textit{ought} and \textit{know}
• Deontic epistemic stit logic distinguishing modes of mens rea
• Making a start with the stit logic analysis of intentional action
• Time and modality in the logic of agency
• Agency and obligation
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• Interactive epistemology. I: Knowledge
• The deliberative stit: A study of action, omission, ability, and obligation
• Using STIT Theory to Talk About Strategies
• A logical analysis of responsibility attribution: emotions, individuals and collectives
• Embedding Alternating-time Temporal Logic in Strategic Logic of Agency
• Alternating-time temporal logic
• A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
• A STIT-Extension of ATL
• Constructive knowledge: what agents can achieve under imperfect information
• ACTION TYPES IN STIT SEMANTICS
• On the Reconciliation of Logics of Agency and Logics of Event Types
• Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
• Indeterminist time and truth‐value gaps¹

This page was built for publication: DOING WITHOUT ACTION TYPES