Dynamic doxastic logic: why, how, and where to?

Hannes Leitgeb Krister Segerberg

Published in: Synth. (2007)

Keyphrases

epistemic logic
dynamic environments
modal logic
cooperative
logic programming
real time
databases
neural network
computer vision
website
video sequences
model checking