Epistemic Logic of Shallow Depths and Game Theoretical Applications.

Mamoru Kaneko Nobu-Yuki Suzuki

Published in: Advances in Modal Logic (2000)

Keyphrases

epistemic logic
modal logic
model checking
multi faceted
dynamic epistemic logic
multi agent systems
inference rules
logical framework
game theory
formal semantics
computation tree logic
multi agent
temporal logic
formal verification
model checker