PS-File
PDF-File
Bibtex Entry
Department of Computer Science
King's College London
Strand
London WC2R 2LS
United Kingdom
szabolcs@dcs.kcl.ac.uk
http://www.dcs.kcl.ac.uk/staff/szabolcs/
The aim of this paper is to show on a toy example that the mosaic method can serve as an alternative to standard modal logical techniques in the realm of products of modal logics.