Deterministic process logic is elementary

DOI10.1016/S0019-9958(83)80025-4zbMATH Open0537.68038MaRDI QIDQ3323260FDOQ3323260

Joseph Y. Halpern

Publication date: 1983

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

zbMATH Keywords

dynamic logicdeterministic exponential time procedureelementary decision procedurePropositional process logic

Mathematics Subject Classification ID

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

Recommendations

• A logical process calculus 👍 👎
• Dynamic process logic 👍 👎
• The propositional logic of elementary tasks 👍 👎
• Deterministic Logics for UL 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)