Article

Journal of Logic, Language and Information

, Volume 8, Issue 2, pp 137-141

Dynamic Negation, the One and Only

  • Marco HollenbergAffiliated withPhilips Research Laboratories Eindhoven
  • , Albert VisserAffiliated withDepartment of Philosophy, Utrecht University

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access

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 Logic relation algebra modal logic dynamic logic finite variety