Journal of Logic, Language and Information

, Volume 8, Issue 2, pp 137–141

Dynamic Negation, the One and Only

  • Marco Hollenberg
  • Albert Visser
Article

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
  • 34 Downloads

Abstract

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 Logicrelation algebramodal logicdynamic logicfinitevariety

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