Inquisitive dynamic epistemic logic.

Ivano Ciardelli Floris Roelofsen

Published in: Synth. (2015)

Keyphrases

dynamic epistemic logic
epistemic logic
modal logic
model checking
multi agent systems
inference rules
logical framework
state space
image processing
reinforcement learning
temporal logic