Combinations of stit and actions

DOI10.1007/s10849-009-9119-4zbMath1216.03039OpenAlexW2161712351MaRDI QIDQ616041

Ming Xu

Publication date: 7 January 2011

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-009-9119-4

zbMATH Keywords

branching timelogic of actionlogic of agencystit

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Temporal logic (03B44)

Related Items (6)

Combinations of \textit{stit} with \textit{ought} and \textit{know} ⋮ Choice-driven counterfactuals ⋮ A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations ⋮ ACTION TYPES IN STIT SEMANTICS ⋮ Actions as events ⋮ On the Reconciliation of Logics of Agency and Logics of Event Types

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Deontic logic in computer science. 9th international conference, DEON 2008, Luxembourg, Luxembourg, July 15--18, 2008. Proceedings
• 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
• Events in branching time
• Propositional \(\text Q\)-logic
• 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
• A Theory of Causation: Causae Causantes (Originating Causes) as Inus Conditions in Branching Space-Times

This page was built for publication: Combinations of stit and actions