Professor R. Ramanujam (Chennai)
Some Automata Theory for Epsitemic Logic
Abstract: We consider epistemic temporal logics and dynamic epistemic logics from the view point of automata theory. Specifically, what can we say about the knowledge of finite state agents as regular collections of behaviours? We show that there are interesting notions awaiting study relating to monadic second order theories and Kleene type theorems for what we term epistemic languages. We provide answers for some special epistemic theories.