Dynamic Negation, The One and Only
Publication date
1997-12
Authors
Hollenberg, M.
Visser, A.
Editors
Advisors
Supervisors
DOI
Document Type
Preprint
Metadata
Show full item recordCollections
License
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.
Keywords
Dynamic Predicate Logic, relation algebra, modal logic, dynamic logic, finite axiomatization, variety