scientific article
From MaRDI portal
Publication:3330494
zbMath0542.68020MaRDI QIDQ3330494
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65) Decidability of theories and sets of sentences (03B25)
Related Items (6)
Propositional dynamic logic of context-free programs and fixpoint logic with chop ⋮ Propositional dynamic logic with recursive programs ⋮ Problems concerning fairness and temporal logic for conflict-free Petri nets ⋮ A note on an extension of PDL ⋮ Propositional dynamic logic of nonregular programs ⋮ Undecidability of PDL with \(L=\{a^{2^ i}| i\geq 0\}\)
This page was built for publication: