scientific article; zbMATH DE number 3845549

MaRDI QIDQ3315481zbMATH OpenFDO

Authors Ewa Orłowska

Publication date 1980

zbMATH Keywords

compactnesscompletenesscomplete axiomatizationpropositional quantifiersextension of propositional dynamic logicnormalized models

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3935012
• Propositional dynamic logic with program quantifiers
• PDL with data constants
• Propositional dynamic logic with local assignments
• A system of dynamic modal logic

Cited in

(10)

• Automata, Languages and Programming
• scientific article; zbMATH DE number 1337623 (Why is no real title available?)
• Propositional quantifiers
• PDL with data constants
• Propositional dynamic logic with program quantifiers
• Propositional dynamic logic with local assignments
• Bibliography of Ewa Orłowska
• scientific article; zbMATH DE number 3935012 (Why is no real title available?)
• scientific article; zbMATH DE number 1761902 (Why is no real title available?)
• Some extensions to propositional mean-value calculus: expressiveness and decidability

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