Publication:4218938
From MaRDI portal
zbMath0909.03029MaRDI QIDQ4218938
Publication date: 25 March 1999
propositional dynamic logic; Kleene algebra; equational axiomatization; program equations; test algebra
03B45: Modal logic (including the logic of norms)
03B70: Logic in computer science
03G25: Other algebras related to logic
Related Items