Combinations of stit and actions

DOI10.1007/S10849-009-9119-4MaRDI QIDQ616041zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Actions as events
• scientific article; zbMATH DE number 2226178
• Actions and outcomes: two aspects of agency
• On the formal structure of continuous action
• Freedom and enforcement in action. A study in formal action theory

Cites work

• A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
• A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
• A STIT-Extension of ATL
• A Theory of Causation: Causae Causantes (Originating Causes) as Inus Conditions in Branching Space-Times
• Acting, Events and Actions
• Agency and deontic logic
• Alternative axiomatics and complexity of deliberative STIT theories
• Axioms for deliberative stit
• Causation
• Causation in branching time. I: Transitions, events and causes
• Deontic logic in computer science. 9th international conference, DEON 2008, Luxembourg, Luxembourg, July 15--18, 2008. Proceedings
• Embedding Alternating-time Temporal Logic in Strategic Logic of Agency
• Events in branching time
• scientific article; zbMATH DE number 1200165 (Why is no real title available?)
• scientific article; zbMATH DE number 1536564 (Why is no real title available?)
• scientific article; zbMATH DE number 5274268 (Why is no real title available?)
• Logical dynamics meets logical pluralism?
• Merging frameworks for interaction
• On the logic of ability
• Propositional Q-logic
• Tableaux for multi-agent deliberative-stit logic
• The tree of knowledge in action: towards a common perspective
• What groups \textit{do}, \textit{can} do, and \textit{know} they can do: an analysis in normal modal logics

Cited in

(11)

• Choice-driven counterfactuals
• Combinations of \textit{stit} with \textit{ought} and \textit{know}
• Perspectival act utilitarianism
• scientific article; zbMATH DE number 67850 (Why is no real title available?)
• ACTION TYPES IN STIT SEMANTICS
• On the reconciliation of logics of agency and logics of event types
• On the formal structure of continuous action
• scientific article; zbMATH DE number 2226178 (Why is no real title available?)
• A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations
• Actions as events
• Action and ability

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

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