Journal of Logic, Language and Information

, Volume 6, Issue 4, pp 441–452

Dynamic Relation Logic Is the Logic of DPL-Relations

  • Albert Visser

DOI: 10.1023/A:1008228122853

Cite this article as:
Visser, A. Journal of Logic, Language and Information (1997) 6: 441. doi:10.1023/A:1008228122853


In this paper we prove that the principles in the languagewith relation composition and dynamic implication, valid forall binary relations, are the same ones as the principlesvalid when we restrict ourselves to DPL-relations,i.e. relations generated from conditions (tests) and resettings.

dynamics Predicate Logic RelationAlgebra relation resetting bisimulation 

Copyright information

© Kluwer Academic Publishers 1997

Authors and Affiliations

  • Albert Visser
    • 1
  1. 1.Department of PhilosophyUtrecht UniversityUtrechtthe Netherlands

Personalised recommendations