From Coalition Logic to STIT.

Jan M. Broersen Andreas Herzig Nicolas Troquard

Published in: Electron. Notes Theor. Comput. Sci. (2006)

Keyphrases

coalition logic
qualitative and quantitative
logical framework
model checking
modal logic
pspace complete
multi agent systems
satisfiability problem
inference rules
belief revision
temporal logic
normal form
np complete
reasoning tasks
description logics
knowledge representation
computational complexity