scientific article; zbMATH DE number 3845549

MaRDI QIDQ3315481zbMATH OpenFDO

Authors Ewa Orłowska

Publication date 1980

zbMATH Keywords

compactnesscomplete axiomatizationcompletenessextension of propositional dynamic logicnormalized modelspropositional quantifiers

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

(14)

• Propositional dynamic logic with local assignments
• PDL with data constants
• A system of dynamic modal logic
• Propositional dynamic logic with quantification over regular computation sequences
• scientific article; zbMATH DE number 3935012 (Why is no real title available?)
• Logic programming with bounded quantifiers
• scientific article; zbMATH DE number 1354108 (Why is no real title available?)
• Logic and mathematical programming. (Joint work with V. Borkar, V. Chandru and D. Micciancio)
• A logic for variable aliasing in logic programs
• Propositional dynamic logic with program quantifiers
• Automata, Languages and Programming
• Propositional quantifiers
• Some extensions to propositional mean-value calculus: expressiveness and decidability
• Bibliography of Ewa Orłowska

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)