An equational axiomatization of dynamic negation and relational composition

DOI10.1023/A:1008271805106zbMath0882.03065OpenAlexW1597300622MaRDI QIDQ1371311

Marco Hollenberg

Publication date: 12 March 1998

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1008271805106

zbMATH Keywords

modal logicrepresentabilitycompletenessfinite axiomatizationvarietybisimulationdynamic logicdynamic relation algebrasunravelingrelational compositionalgebras on binary relationsdynamic negationDynamic Predicate Logicequational axiomatization

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25)

Related Items (9)

Some modal aspects of XPath ⋮ A Hierarchy of Algebras for Boolean Subsets ⋮ Axiomatizability of representable domain algebras ⋮ The algebra of functions with antidomain and range ⋮ On algebra of program correctness and incorrectness ⋮ Free Kleene algebras with domain ⋮ Sequential dynamic logic ⋮ Complete axiomatizations for XPath fragments ⋮ Logical Foundations of XML and XQuery

This page was built for publication: An equational axiomatization of dynamic negation and relational composition