scientific article; zbMATH DE number 3859091

MaRDI QIDQ3328520zbMATH OpenFDO

Authors Z. A. Boyarskaya

Publication date 1980

zbMATH Keywords

expressive powernondeterminismpropositional dynamic logic

Mathematics Subject Classification ID

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

Recommendations

• The comparison of the expressive power of first-order dynamic logics
• ON THE EXPRESSIVE POWER OF SOME DYNAMIC LOGICS
• scientific article; zbMATH DE number 3957062
• Determinism and non-determinism in PDL
• Propositional dynamic logic with program quantifiers

Cited in

(10)

• A nondeterministic program logic
• Determinism and non-determinism in PDL
• The expressive power of second-order propositional modal logic
• Exemplaric Expressivity of Modal Logics
• scientific article; zbMATH DE number 5356414 (Why is no real title available?)
• scientific article; zbMATH DE number 859790 (Why is no real title available?)
• scientific article; zbMATH DE number 7439733 (Why is no real title available?)
• The influence of the test operator on the expressive power of PDL-like logics
• The comparison of the expressive power of first-order dynamic logics
• Expressive power and incompleteness of propositional logics

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 Q3328520)