Dynamic negation, the one and only

&
Journal of Logic, Language and Information 8 (2):137-141 (1999)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1008230514856

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Dynamic interpretation and HOARE deduction.Jan Eijck & Fer-Jan Vries - 1992 - Journal of Logic, Language and Information 1 (1):1-44.
Dynamic algebras: Examples, constructions, applications.Vaughan Pratt - 1991 - Studia Logica 50 (3-4):571 - 605.
PDL has interpolation.Tomasz Kowalski - 2002 - Journal of Symbolic Logic 67 (3):933-946.
Dynamic negation and negative information.Sebastian Sequoiah-Grayson - 2009 - Review of Symbolic Logic 2 (1):233-248.
Negation, Denial, and Rejection.David Ripley - 2011 - Philosophy Compass 6 (9):622-629.
Dynamic relation logic is the logic of DPL-Relations.Albert Visser - 1997 - Journal of Logic, Language and Information 6 (4):441-452.
Capturing Dynamic Conceptual Frames.Rafal Urbaniak - 2010 - Logic Journal of the IGPL 18 (3):430-455.
An equational axiomatization of dynamic negation and relational composition.Marco Hollenberg - 1997 - Journal of Logic, Language and Information 6 (4):381-401.

Analytics

Added to PP
2009-01-28

Downloads
64 (#247,828)

6 months
6 (#504,917)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Dynamic predicate logic.Jeroen Groenendijk & Martin Stokhof - 1991 - Linguistics and Philosophy 14 (1):39-100.
An equational axiomatization of dynamic negation and relational composition.Marco Hollenberg - 1997 - Journal of Logic, Language and Information 6 (4):381-401.
Incremental semantics for propositional texts.C. F. M. Vermeulen - 1994 - Notre Dame Journal of Formal Logic 35 (2):243-271.
Dynamic relation logic is the logic of DPL-Relations.Albert Visser - 1997 - Journal of Logic, Language and Information 6 (4):441-452.

Add more references