Journal of Logic, Language and Information

, Volume 8, Issue 2, pp 137–141

Dynamic Negation, the One and Only

Authors

  • Marco Hollenberg
    • Philips Research Laboratories Eindhoven
  • Albert Visser
    • Department of PhilosophyUtrecht University
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
  • 33 Views

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