Descriptively complete process logic

DOI10.1007/BF00286492MaRDI QIDQ1134512zbMATH OpenFDO

Authors Hirokazu Nishimura

Publication date 1980

Published in Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

temporal logicpropositional dynamic logicprocess logicdynamic properties of programs

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cited in

(9)

• Dynamic linear time temporal logic
• Mathematical modal logic: A view of its evolution
• An essay in combinatory dynamic logic
• A program logic to verify signal temporal logic specifications of hybrid systems
• Trace Semantics for IPDL
• Process logic: Expressiveness, decidability, completeness
• Process logic with regular formulas
• The complementation problem for Büchi automata with applications to temporal logic
• Propositional dynamic logic for concurrent programs

This page was built for publication: Descriptively complete process logic

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