@INPROCEEDINGS{BerghammerSchmidt06,
AUTHOR = {Berghammer, R. and Schmidt, R. A.},
YEAR = {2006},
TITLE = {Investigating Finite Models of Non-Classical Logics with Relation Algebra and {\textsc{RelView}}},
EDITOR = {de Swart, H. and Orlowska, E. and Schmidt, G. and Roubens, M.},
BOOKTITLE = {Theory and Applications of Relational Structures as Knowledge Instruments {II}}
SERIES = {Lecture Notes in Artficial intelligence},
VOLUME = {4342},
PUBLISHER = {Springer},
PAGES = {31--49},
ISSN = {0302-9743},
ISBN = {978-3-540-69223-2},
URL = {http://www.cs.man.ac.uk/~schmidt/publications/BerghammerSchmidt06.html},
ABSTRACT = {
In computer science, scenarios with interacting agents are often
developed using modal logic.
We show how to interpret modal logic of knowledge in relation algebra.
This allows the use of the \textsc{RelView} tool for the purpose of investigating
finite models and for visualizing certain properties.
Our approach is illustrated with the well-known `muddy children'
puzzle using modal logic of knowledge.
We also sketch how to treat other non-classical logics in this way.
In particular, we explore our approach for computational
tree logic and illustrate it with the `mutual exclusion' example.
},
}