A dynamic logic of agency. I: STIT, capabilities and powers
From MaRDI portal
Publication:2268355
DOI10.1007/S10849-009-9105-XzbMATH Open1189.03025OpenAlexW2026284755MaRDI QIDQ2268355FDOQ2268355
Authors: Emiliano Lorini, Andreas Herzig 
Publication date: 5 March 2010
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-9105-x
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
Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)
Cites Work
- Modal logic
- Alternating-time temporal logic
- Title not available (Why is that?)
- The deliberative stit: A study of action, omission, ability, and obligation
- The logic of knowledge based obligation
- Properties of logics of individual and group agency
- Embedding Alternating-time Temporal Logic in Strategic Logic of Agency
- A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
- A Modal Logic for Coalitional Power in Games
- Title not available (Why is that?)
- Agency and deontic logic
- Alternative axiomatics and complexity of deliberative STIT theories
- Action and knowledge in alternating-time temporal logic
- Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
- Title not available (Why is that?)
- A dynamic logic of agency. II: Deterministic \({\mathcal{DLA}}\), coalition logic, and game theory
- Title not available (Why is that?)
- A logic of intention and attempt
- Constructive knowledge: what agents can achieve under imperfect information
- On the logic of cooperation and propositional control
- Alternating-time logic with imperfect recall
- Title not available (Why is that?)
Cited In (30)
- Blame it on me
- Generalizing deontic action logic
- Ten problems of deontic logic and normative reasoning in computer science
- Ability in a Multi-agent Context: A Model in the Situation Calculus
- Title not available (Why is that?)
- Probabilistic stit logic
- Quantified temporal alethic boulesic doxastic logic
- Reasoning about the transfer of control
- Choice-driven counterfactuals
- Causality in the context of multiple agents
- A dynamic logic of institutional actions
- Tableaux for multi-agent deliberative-stit logic
- A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations
- On the formal structure of continuous action
- A STIT logic for reasoning about social influence
- Propositional \(\text Q\)-logic
- Complexity results of STIT fragments
- Weighted modal logic in epistemic and deontic contexts
- Title not available (Why is that?)
- On the dynamic logic of agency and action
- A logical analysis of commitment dynamics
- A modal logic of epistemic games
- Collective agency, direct action and dynamic operators
- Epistemic GDL: a logic for representing and reasoning about imperfect information games
- On the Reconciliation of Logics of Agency and Logics of Event Types
- A STIT-Extension of ATL
- A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
- Grounding power on actions and mental attitudes
- Alternating-time temporal announcement logic
- A dynamic logic of agency. II: Deterministic \({\mathcal{DLA}}\), coalition logic, and game theory
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)
