On the dynamic logic of agency and action

DOI10.1007/S11225-013-9473-8MaRDI QIDQ456961zbMATH OpenOpenAlexFDO

Authors Chrysafis Hartonas

Publication date 26 September 2014

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-013-9473-8

zbMATH Keywords

logic of agencyconverse as backwards possibilitydynamic logic of action typeslogic of capabilities

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Recommendations

• A dynamic logic of action
• Towards a Logic of Rational Agency
• A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions
• A dynamic logic of agency. I: STIT, capabilities and powers
• scientific article; zbMATH DE number 1414365
• Dynamic logic for reasoning about actions and agents
• scientific article; zbMATH DE number 1523045
• Publication:4952291
• A resource-sensitive logic of agency
• Reasoning about action and change. A dynamic logic approach

Cites work

• scientific article; zbMATH DE number 4210141 (Why is no real title available?)
• scientific article; zbMATH DE number 140411 (Why is no real title available?)
• scientific article; zbMATH DE number 1305380 (Why is no real title available?)
• scientific article; zbMATH DE number 475236 (Why is no real title available?)
• scientific article; zbMATH DE number 549971 (Why is no real title available?)
• scientific article; zbMATH DE number 1499111 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• Complexity results for HTN planning
• Duality for modal \(\mu\)-logics
• Dynamic algebras: Examples, constructions, applications
• Reasoning about types of action and agent capabilities
• Towards a Logic of Rational Agency

Cited in

(10)

• A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions
• scientific article; zbMATH DE number 5360220 (Why is no real title available?)
• Metatheory of actions: beyond consistency
• scientific article; zbMATH DE number 140402 (Why is no real title available?)
• Reasoning about types of action and agent capabilities
• The logic of action and control
• A dynamic logic of action
• Actions and outcomes: two aspects of agency
• A dynamic logic of agency. I: STIT, capabilities and powers
• A dynamic logic of agency. II: Deterministic \({\mathcal{DLA}}\), coalition logic, and game theory

This page was built for publication: On the dynamic logic of agency and action

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