scientific article; zbMATH DE number 4039864

MaRDI QIDQ3778726zbMATH OpenFDO

Authors Bernhard Herwig

Publication date 1987

zbMATH Keywords

finitely branching structuresL-equivalence of structuresMMLpropositional dynamic logic

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• PDL inside the -calculus: a syntactic and an automata-theoretic characterization
• Bisimilar and logically equivalent programs in PDL
• Results on the propositional \(\mu\)-calculus
• Bisimilar and logically equivalent programs in PDL with parallel operator
• The propositional dynamic logic of deterministic, well-structured programs

This page was built for publication:

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