Dynamic relation logic is the logic of DPL-relations

DOI10.1023/A:1008228122853MaRDI QIDQ1371314zbMATH OpenOpenAlexFDO

Authors 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

bisimulationdynamic implicationdynamic predicate logicrelation algebrarelation compositionresetting

Mathematics Subject Classification ID

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

Recommendations

• Dynamic logic with program specifications and its relational proof system
• An equational axiomatization of dynamic negation and relational composition
• Dynamic process logic

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)