DOING WITHOUT ACTION TYPES

DOI10.1017/S1755020320000362MaRDI QIDQ6153157zbMATH OpenOpenAlexFDO

Authors Hein Duijf, Jan Broersen, Aldo Iván Ramírez Abarca

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

abilityaction typesknowledgemodal logicstit theory

Mathematics Subject Classification ID

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

Recommendations

• ACTION TYPES IN STIT SEMANTICS
• Ability and responsibility in general action logic
• Ability in a Multi-agent Context: A Model in the Situation Calculus
• scientific article; zbMATH DE number 1499111
• Action and ability

Cites work

• A logical analysis of responsibility attribution: emotions, individuals and collectives
• A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
• A STIT-Extension of ATL
• ACTION TYPES IN STIT SEMANTICS
• Agency and deontic logic
• Agency and obligation
• Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
• Alternating-time logic with imperfect recall
• Alternating-time temporal logic
• Combinations of \textit{stit} with \textit{ought} and \textit{know}
• Constructive knowledge: what agents can achieve under imperfect information
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• Deontic epistemic stit logic distinguishing modes of mens rea
• Embedding Alternating-time Temporal Logic in Strategic Logic of Agency
• Handbook of modal logic
• scientific article; zbMATH DE number 1028832 (Why is no real title available?)
• scientific article; zbMATH DE number 2182496 (Why is no real title available?)
• scientific article; zbMATH DE number 824735 (Why is no real title available?)
• scientific article; zbMATH DE number 1414365 (Why is no real title available?)
• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• scientific article; zbMATH DE number 3339381 (Why is no real title available?)
• Indeterminist time and truth‐value gaps¹
• Interactive epistemology. I: Knowledge
• Making a start with the stit logic analysis of intentional action
• On the reconciliation of logics of agency and logics of event types
• The deliberative stit: A study of action, omission, ability, and obligation
• Time and modality in the logic of agency
• Using STIT theory to talk about strategies

This page was built for publication: DOING WITHOUT ACTION TYPES

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