Journal of Logic, Language and Information

, Volume 8, Issue 2, pp 137–141

Dynamic Negation, the One and Only


  • Marco Hollenberg
    • Philips Research Laboratories Eindhoven
  • Albert Visser
    • Department of PhilosophyUtrecht University

DOI: 10.1023/A:1008230514856

Cite this article as:
Hollenberg, M. & Visser, A. Journal of Logic, Language and Information (1999) 8: 137. doi:10.1023/A:1008230514856


We consider the variety of Dynamic Relation Algebras V(DRA). We show that the monoid of an algebra in this variety determines dynamic negation uniquely.

Dynamic Predicate Logic relation algebra modal logic dynamic logic finite variety

Copyright information

© Kluwer Academic Publishers 1999