Skip to main content
Article thumbnail
Location of Repository

Dynamic Negation, The One and Only

By M. Hollenberg and A. Visser

Abstract

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

Topics: Wijsbegeerte, Dynamic Predicate Logic, relation algebra, modal logic, dynamic logic, finite axiomatization, variety
Year: 1997
OAI identifier: oai:dspace.library.uu.nl:1874/26878
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://dspace.library.uu.nl:80... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.