Process logic with regular formulas

DOI10.1016/0304-3975(85)90225-7zbMATH Open0572.03010OpenAlexW2044206530MaRDI QIDQ1062047FDOQ1062047

Authors: David Harel, David Peleg 

Publication date: 1985

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(85)90225-7

Recommendations

• Equations between Regular Terms and an Application to Process Logic
• Flow logic for process calculi
• A logical process calculus
• Rule formats for nominal process calculi
• Rule formats for nominal process calculi
• Dynamic process logic
• scientific article; zbMATH DE number 3878341
• Logic program forms
• scientific article; zbMATH DE number 3876574
• scientific article; zbMATH DE number 1333607

zbMATH Keywords

complete axiomatizationregular expressionsslicechopdecidable propositional process logic

Mathematics Subject Classification ID

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

Cites Work

• Propositional dynamic logic of regular programs
• The complexity of propositional linear temporal logics
• Title not available (Why is that?)
• Temporal logic can be more expressive
• An axiomatic basis for computer programming
• Title not available (Why is that?)
• An elementary proof of the completeness of PDL
• Theories of automata on \(\omega\)-tapes: a simplified approach
• Recurring Dominoes: Making the Highly Undecidable Highly Understandable
• Star-free regular sets of ω-sequences
• Algorithmic properties of structures
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Two results on process logic
• Descriptively complete process logic
• Process logic: Expressiveness, decidability, completeness
• Process logic with regular formulas
• Is the Interesting Part of Process Logic uninteresting?: A Translation from PL to PDL
• Title not available (Why is that?)

Cited In (12)

• On the reconciliation of logics of agency and logics of event types
• Title not available (Why is that?)
• Computation paths logic: an expressive, yet elementary, process logic
• Is the Interesting Part of Process Logic uninteresting?: A Translation from PL to PDL
• Equations between Regular Terms and an Application to Process Logic
• Computation paths logic: An expressive, yet elementary, process logic
• From Monadic Logic to PSL
• Functional specification of hardware via temporal logic
• From Philosophical to Industrial Logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Process logic with regular formulas

This page was built for publication: Process logic with regular formulas

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