Dynamic relation logic is the logic of DPL-relations

DOI10.1023/A:1008228122853zbMATH Open0882.03018OpenAlexW2163303406MaRDI QIDQ1371314

Albert Visser

Publication date: 28 October 1997

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1008228122853

zbMATH Keywords

relation algebrabisimulationdynamic predicate logicresettingrelation compositiondynamic implication

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65) Other algebras related to logic (03G25)

This page was built for publication: Dynamic relation logic is the logic of DPL-relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1371314)