A dynamic logic of agency. I: STIT, capabilities and powers
From MaRDI portal
Publication:2268355
Recommendations
- On the dynamic logic of agency and action
- Proof-theoretic analysis of the logics of agency: the deliberative STIT
- A resource-sensitive logic of agency
- A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions
- Towards a Logic of Rational Agency
- scientific article; zbMATH DE number 1414365
- A dynamic logic of agency. II: Deterministic \({\mathcal{DLA}}\), coalition logic, and game theory
- On the axiomatisation of Elgesem's logic of agency and ability
- A dynamic logic of institutional actions
- Properties of logics of individual and group agency
Cites work
- A dynamic logic of agency. II: Deterministic \({\mathcal{DLA}}\), coalition logic, and game theory
- A logic of intention and attempt
- A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
- A Modal Logic for Coalitional Power in Games
- Action and knowledge in alternating-time temporal logic
- Agency and deontic logic
- Alternating-time logic with imperfect recall
- Alternating-time temporal logic
- Alternative axiomatics and complexity of deliberative STIT theories
- Constructive knowledge: what agents can achieve under imperfect information
- Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
- Embedding Alternating-time Temporal Logic in Strategic Logic of Agency
- scientific article; zbMATH DE number 4047472 (Why is no real title available?)
- scientific article; zbMATH DE number 3499717 (Why is no real title available?)
- scientific article; zbMATH DE number 1556014 (Why is no real title available?)
- scientific article; zbMATH DE number 2182496 (Why is no real title available?)
- scientific article; zbMATH DE number 1820675 (Why is no real title available?)
- Modal logic
- On the logic of cooperation and propositional control
- Properties of logics of individual and group agency
- The deliberative stit: A study of action, omission, ability, and obligation
- The logic of knowledge based obligation
Cited in
(39)- In the realm of agents
- Propositional Q-logic
- Complexity results of STIT fragments
- A dynamic logic of agency. II: Deterministic \({\mathcal{DLA}}\), coalition logic, and game theory
- Blame it on me
- Indistinguishability, choices, and logics of agency
- Choice-driven counterfactuals
- Weighted modal logic in epistemic and deontic contexts
- Dynamic coalition logic: granting and revoking dictatorial powers
- Generalizing deontic action logic
- Epistemic GDL: a logic for representing and reasoning about imperfect information games
- A modal logic of epistemic games
- Probabilistic stit logic
- Alternating-time temporal announcement logic
- A dynamic logic of institutional actions
- A STIT logic for reasoning about social influence
- Ten problems of deontic logic and normative reasoning in computer science
- Causality in the context of multiple agents
- Tableaux for multi-agent deliberative-stit logic
- A STIT-Extension of ATL
- Collective agency, direct action and dynamic operators
- Reasoning about the transfer of control
- A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
- Ability in a Multi-agent Context: A Model in the Situation Calculus
- scientific article; zbMATH DE number 1499111 (Why is no real title available?)
- scientific article; zbMATH DE number 1536564 (Why is no real title available?)
- On the dynamic logic of agency and action
- Grounding power on actions and mental attitudes
- A logical analysis of commitment dynamics
- On the reconciliation of logics of agency and logics of event types
- Three traditions in the logic of action: bringing them together
- Norms in MAS: definitions and related concepts
- Reasoning about types of action and agent capabilities
- On the formal structure of continuous action
- Proof systems for the logics of bringing-it-about
- A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations
- A formal framework for reasoning about agents' independence in self-organizing multi-agent systems
- Logic of action from the perspective of knowledge representation
- Quantified temporal alethic boulesic doxastic logic
This page was built for publication: A dynamic logic of agency. I: STIT, capabilities and powers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2268355)
