Modal logic in combination with automata theory I'm planning to write a paper about the possibility of describing modal logic and the multiple world aspect of it with techniques of automata theory. To not duplicate my work does anyone have more explicit links to done research in this area. My university doesn't seem to show anything specific in their database. Thanks beforehand.
 A: What sources are you using for modal logic? What aspects of modal logic are you considering?
In for instance, the book: Tools and Techniques in Modal Logic, by Kracht, the section on Dynamic Logic includes a brief discussion of finite automata as it is relevant to that logic. Another perhaps more useful source to examine would be `Epistemic Logic for AI and Computer Science, Number 41 in
 Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 1995. That looks at computer science ideas for epistemic logics and hence does treat certain things that may be of relevance to your work.
Without your being a bit more detailed on the type of results that you are considering, I cannot be sure if the material in these books provides an answer to your question. (I understand you may be reluctant to be too explicit if it is still `work in progress'.)
Some time ago I looked at using  various ideas not that far from automata theory to model the modal logics (S5n in particular) that were being used in the theory of multiagent systems.  Perhaps there might be some useful way of applying automata theory in that context as well.
