An equational axiomatization of dynamic negation and relational composition
From MaRDI portal
Publication:1371311
DOI10.1023/A:1008271805106zbMath0882.03065MaRDI QIDQ1371311
Publication date: 12 March 1998
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
modal logic; representability; completeness; finite axiomatization; variety; bisimulation; dynamic logic; dynamic relation algebras; unraveling; relational composition; algebras on binary relations; dynamic negation; Dynamic Predicate Logic; equational axiomatization
Related Items
Axiomatizability of representable domain algebras, The algebra of functions with antidomain and range, Complete axiomatizations for XPath fragments, Free Kleene algebras with domain, Sequential dynamic logic, Some modal aspects of XPath, Logical Foundations of XML and XQuery