Descriptively complete process logic

DOI10.1007/BF00286492zbMATH Open0423.68005MaRDI QIDQ1134512FDOQ1134512

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)