Deterministic process logic is elementary

DOI10.1016/S0019-9958(83)80025-4MaRDI QIDQ3323260zbMATH OpenFDO

Authors Joseph Y. Halpern

Publication date 1983

Published in Information and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0019-9958(83)80025-4

zbMATH Keywords

deterministic exponential time proceduredynamic logicelementary decision procedurePropositional process logic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45) Analysis of algorithms and problem complexity (68Q25) Abstract data types; algebraic specification (68Q65)

Recommendations

• A logical process calculus
• scientific article; zbMATH DE number 3909727
• The propositional logic of elementary tasks
• scientific article; zbMATH DE number 1333607
• scientific article; zbMATH DE number 3966037
• scientific article; zbMATH DE number 4031647
• scientific article; zbMATH DE number 3878341
• Dynamic process logic
• scientific article; zbMATH DE number 4055020
• Deterministic logics for UL

Cited in

(8)

• Dynamic process logic
• Computation paths logic: An expressive, yet elementary, process logic
• scientific article; zbMATH DE number 3853035 (Why is no real title available?)
• scientific article; zbMATH DE number 3876574 (Why is no real title available?)
• Is the Interesting Part of Process Logic uninteresting?: A Translation from PL to PDL
• scientific article; zbMATH DE number 3966037 (Why is no real title available?)
• scientific article; zbMATH DE number 3976998 (Why is no real title available?)
• Computation paths logic: an expressive, yet elementary, process logic

This page was built for publication: Deterministic process logic is elementary

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