A Van Benthem Theorem for Modal Team Semantics.

Juha Kontinen Julian-Steffen Müller Henning Schnoor Heribert Vollmer

Published in: CoRR (2014)

Keyphrases

nonmonotonic logics
modal logic
team members
agent oriented programming language
logic programming
formal semantics
default logic
reinforcement learning
dynamic logic
robotic soccer
intuitionistic logic
specification language
robot soccer
modal operators
cooperating agents