Is the Interesting Part of Process Logic uninteresting?: A Translation from PL to PDL

DOI10.1137/0213051zbMath0551.68031OpenAlexW2090731055MaRDI QIDQ3343430

No author found.

Publication date: 1984

Published in: SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/0213051

zbMATH Keywords

temporal logicprocess logicDynamic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65)

Related Items (6)

A first-order logic characterization of safety and co-safety languages ⋮ A first-order logic characterisation of safety and co-safety languages ⋮ Characterization of temporal property classes ⋮ Computation paths logic: An expressive, yet elementary, process logic ⋮ Computation paths logic: An expressive, yet elementary, process logic ⋮ Process logic with regular formulas

This page was built for publication: Is the Interesting Part of Process Logic uninteresting?: A Translation from PL to PDL