Investigating Finite Models of Non-Classical Logics with Relation Algebra and RelView

Berghammer, R. and Schmidt, R. A. (2006)

In de Swart, H. and Orlowska, E. and Schmidt, G. and Roubens, M. (eds), Theory and Applications of Relational Structures as Knowledge Instruments II, Lecture Notes in Artficial intelligence 4342 Springer, 31-49. BiBTeX, PDF.

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 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.


Renate A. Schmidt
Home | Publications | Tools | FM Group | School | Man Univ

Last modified: 28 Dec 06
Copyright © 2006 Renate A. Schmidt, School of Computer Science, Man Univ, schmidt@cs.man.ac.uk