Journal of Logic, Language and Information

, Volume 8, Issue 2, pp 137–141 | Cite as

Dynamic Negation, the One and Only

  • Marco Hollenberg
  • Albert Visser
Article
  • 41 Downloads

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 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Groenendijk, J. and Stokhof, M., 1991, “Dynamic predicate logic,” Linguistics and Philosophy 14, 39–100.Google Scholar
  2. Hollenberg, M.J., 1997, “An equational axiomatisation of dynamic negation and relational composition,” Journal of Language, Logic, and Information 6(4), 381–401.Google Scholar
  3. Pratt, V., 1991, “Action logic and pure induction,” pp. 97–120 in Logics in AI - European Workshop JELIA’ 90, J. van Eijck, ed., Berlin: Springer-Verlag.Google Scholar
  4. Vermeulen, C.F.M., 1994a, “Incremental semantics for propositional texts,” Notre Dame Journal of Formal Logic 35, 243–271.Google Scholar
  5. Vermeulen, C.F.M., 1994b, “Update semantics for propositional texts,” pp. 363–386 in Applied Logic: How, What and Why?: Proceedings of the Applied Logic Conference, Logic@Work, M. Masuch and L. Pólós, eds., Dordrecht: Kluwer Academic Publishers.Google Scholar
  6. Visser, A., 1997, “Dynamic Relation Logic is the logic of DPL-relations,” Journal of Language, Logic, and Information 6(4), 441–452.Google Scholar

Copyright information

© Kluwer Academic Publishers 1999

Authors and Affiliations

  • Marco Hollenberg
    • 1
  • Albert Visser
    • 2
  1. 1.Philips Research Laboratories EindhovenEindhovenThe Netherlands
  2. 2.Department of PhilosophyUtrecht UniversityUtrechtThe Netherlands

Personalised recommendations