Journal of Logic, Language and Information

, Volume 8, Issue 2, pp 137–141

Dynamic Negation, the One and Only

  • Marco Hollenberg
  • Albert Visser

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

Authors and Affiliations

  • Marco Hollenberg
    • 1
  • Albert Visser
    • 2
  1. 1.Philips Research Laboratories EindhovenEindhovenThe Netherlands
  2. 2.Department of PhilosophyUtrecht UniversityUtrechtThe Netherlands

Personalised recommendations