Dynamic Relation Logic Is the Logic of DPL-Relations
- Cite this article as:
- Visser, A. Journal of Logic, Language and Information (1997) 6: 441. doi:10.1023/A:1008228122853
- 31 Downloads
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.