A Complete STIT Logic for Knowledge and Action, and Some of Its Applications

Authors:
Jan Broersen
Affiliations:
Department of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands
Venue:
Declarative Agent Languages and Technologies VI
Year:
2008

Citing 12
Cited 4

Communication in concurrent dynamic logic

Journal of Computer and System Sciences
Temporal and modal logic

Handbook of theoretical computer science (vol. B)
Modal logic

Modal logic
Dynamic Logic

Dynamic Logic
Alternating-time temporal logic

Journal of the ACM (JACM)
Alternating-time Temporal Logic

FOCS '97 Proceedings of the 38th Annual Symposium on Foundations of Computer Science
Knowing how to play: uniform choices in logics of agency

AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Embedding Alternating-time Temporal Logic in Strategic Logic of Agency

Journal of Logic and Computation
A normal simulation of coalition logic and an epistemic extension

TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Semantical consideration on floyo-hoare logic

SFCS '76 Proceedings of the 17th Annual Symposium on Foundations of Computer Science
From Coalition Logic to STIT

Electronic Notes in Theoretical Computer Science (ENTCS)
A STIT-Extension of ATL

JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence

Combinations of Stit and Actions

Journal of Logic, Language and Information
Alternating-time temporal announcement logic

CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Epistemic coalition logic: completeness and complexity

Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Complexity Results of STIT Fragments

Studia Logica

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a complete temporal STIT logic for reasoning about multi-agency. I discuss its application for reasoning about norms, knowledge, autonomy, and other multi-agent concepts. Also I give some arguments in favor of taking STIT formalisms instead of dynamic logics as the basis for logics for representing multi-agent system notions.