A cooperation logic for declaration structures

Authors:
Hu Liu
Affiliations:
Institute of Logic and Cognition, Sun Yat-sen University, China
Venue:
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Year:
2009

Citing 7
Cited 0

Modal logic

Modal logic
Alternating-time temporal logic

Journal of the ACM (JACM)
On the dynamics of delegation, cooperation, and control: a logical account

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Reasoning about action and cooperation

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Logics of propositional control

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
A logic of games and propositional control

Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
On the logic of cooperation and propositional control

Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

Two types of game structures for logics of ability have been proposed: Concurrent game structures and models of propositional control. The former takes an abstract view and can be used for general purposes; the latter is a restriction but is much easier for implementation. We present a game structure in between namely a declaration structure. A cooperation logic based on declaration structures is given. We present its deductive system and algorithms for model checking and satisfiability checking.