Login / Signup
Undecidability for arbitrary public announcement logic.
Tim French
Hans P. van Ditmarsch
Published in:
Advances in Modal Logic (2008)
Keyphrases
</>
description logics
user defined
real world
search engine
computer vision
metadata
website
data sources
dynamical systems
probabilistic planning