On the dynamic logic of agency and action

DOI10.1007/S11225-013-9473-8zbMATH Open1322.03023OpenAlexW1980863358MaRDI QIDQ456961FDOQ456961

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

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

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)

Cites Work

• Towards a Logic of Rational Agency
• Title not available (Why is that?)
• Title not available (Why is that?)
• Dynamic algebras: Examples, constructions, applications
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Duality for modal \(\mu\)-logics
• Complexity results for HTN planning
• Title not available (Why is that?)
• Title not available (Why is that?)
• Reasoning about types of action and agent capabilities

Cited In (10)

• A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions
• Title not available (Why is that?)
• Metatheory of actions: beyond consistency
• Title not available (Why is that?)
• 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)