Getting Together: A Unified Perspective on Modal Logics for Coalitional Interaction.

Cédric Dégremont Lena Kurzen

Published in: LORI (2009)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
epistemic logic
nonmonotonic logics
human computer interaction
classical logic
user interaction
situation calculus
default logic
modal operators
artificial intelligence
autoepistemic logic