Dynamic Algebras which are not Kripke Structures.

Jan Reiterman, Vera Trnkov

Browse the full MFCS paper archive.