Journal of Logic, Language and Information

, Volume 6, Issue 4, pp 441-452

First online:

Dynamic Relation Logic Is the Logic of DPL-Relations

  • Albert VisserAffiliated withDepartment of Philosophy, Utrecht University

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


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