Actions as events

DOI10.1007/s10992-012-9238-2zbMath1272.03050OpenAlexW2010504167MaRDI QIDQ692178

M. C. Fu

Publication date: 4 December 2012

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-012-9238-2

zbMATH Keywords

group actionlogic of actionlogic of agencystit

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Related Items

Combinations of \textit{stit} with \textit{ought} and \textit{know}

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Combinations of stit and actions
• On constructing instants from events
• Alternative axiomatics and complexity of deliberative STIT theories
• Merging frameworks for interaction
• On the logic of ability
• Axioms for deliberative stit
• Causation in branching time. I: Transitions, events and causes
• Causation
• Doing and refraining from refraining
• In the realm of agents
• Events in branching time
• Propositional \(\text Q\)-logic
• Busy choice sequences refraining formulas and modalities
• Embedding Alternating-time Temporal Logic in Strategic Logic of Agency
• Acting, Events and Actions
• A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
• A STIT-Extension of ATL
• A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
• Indeterminist time and truth‐value gaps¹
• A Theory of Causation: Causae Causantes (Originating Causes) as Inus Conditions in Branching Space-Times