Dynamic Relation Logic Is the Logic of DPL-Relations

Open Access
Authors
  • A. Visser
Publication date 1997
Journal Journal of Logic, Language and Information
Volume | Issue number 6 | 4
Pages (from-to) 441-452
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Abstract In this paper we prove that the principles in the language with relation composition and dynamic implication, valid for all binary relations, are the same ones as the principles valid when we restrict ourselves to DPL-relations ,i.e. relations generated from conditions (tests) and resettings.
Document type Article
Language English
Published at https://doi.org/10.1023/A:1008228122853
Downloads
27391y.pdf (Final published version)
Permalink to this page
Back