Login / Signup
Jan van Eijck
Publication Activity (10 Years)
Years Active: 1988-2022
Publications (10 Years): 9
Top Topics
Dynamic Epistemic Logic
Epistemic Logic
Model Checking
Leader Follower
Top Venues
CoRR
J. Log. Comput.
Advances in Modal Logic
TARK
</>
Publications
</>