zbMath1083.03025MaRDI QIDQ5465438
Melvin Fitting
Publication date: 22 August 2005
zbMATH Keywords
bisimulations; transition matrix; modal accessibility relation; multi-modal semantics; transformations on Boolean vector spaces
Mathematics Subject Classification ID
03B45: Modal logic (including the logic of norms)
03G25: Other algebras related to logic