Intention is choice with commitment
Artificial Intelligence
Determinism and non-determinism in PDL
Theoretical Computer Science
Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
Modal logic
Alternating-time temporal logic
Journal of the ACM (JACM)
Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications
KI '02 Proceedings of the 25th Annual German Conference on AI: Advances in Artificial Intelligence
Computationally Grounded Theories of Agency
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
Dynamic epistemic logic with assignment
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
On the dynamics of delegation, cooperation, and control: a logical account
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
On the complexity of practical ATL model checking
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Logics of communication and change
Information and Computation
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Dynamic Epistemic Logic
On the logic of cooperation and propositional control
Artificial Intelligence
A Dynamic Logic of Agency I: STIT, Capabilities and Powers
Journal of Logic, Language and Information
Reasoning about the transfer of control
Journal of Artificial Intelligence Research
From Situation Calculus to Dynamic Epistemic Logic
Journal of Logic and Computation
The deontic component of action language n C+
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
MCMAS: a model checker for multi-agent systems
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
A dynamic logic of normative systems
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Modeling attempt and action failure in probabilistic stit logic
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
| Hi-index | 0.00 |
In this article, we propose a Dynamic Logic of Propositional Control DL-PC in which the concept of 'seeing to it that' (abbreviated stit) as studied by Belnap, Horty and others can be expressed; more precisely, we capture the concept of the so-called Chellas stit theory and the deliberatibe stit theory, as opposed to Belnap's original achievement stit. In this logic, the sentence 'group G sees to it that φ' is defined in terms of dynamic operators: it is paraphrased as 'group G is going to execute an action now such that whatever actions the agents outside G can execute at the same time, φ is true afterwards'. We also prove that the satisfiability problem is decidable. In the second part of the article we extend DL-PC with operators modeling normative concepts, resulting in a logic DL-PCLeg. In particular, we define the concepts of 'legally seeing to it that' and 'illegally seeing to it that'. We prove that the decidability result for DL-PC transfers to DL-PCLeg.