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

Jan M. Broersen

Published in: DALT (2008)

Keyphrases

knowledge management
logical framework
multi agent systems
transition systems
prior knowledge
classical logic
dynamic epistemic logic