Dynamic Negation, The One and Only

DSpace/Manakin Repository

Dynamic Negation, The One and Only
 
Hollenberg, M.; Visser, A.
(1997) Logic Group Preprint Series, volume 179
(Preprint)
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.
Download/Full Text
Open Access version via Utrecht University Repository
 
Keywords: Dynamic Predicate Logic, relation algebra, modal logic, dynamic logic, finite axiomatization, variety
 
 
See more statistics about this item