scientific article; zbMATH DE number 3845549

zbMATH Open0533.03005MaRDI QIDQ3315481FDOQ3315481

Authors: Ewa Orłowska 

Publication date: 1980

Title of this publication is not available (Why is that?)

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

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)

Cited In (10)

• Some extensions to propositional mean-value calculus: expressiveness and decidability
• Title not available (Why is that?)
• Propositional quantifiers
• Bibliography of Ewa Orłowska
• Propositional dynamic logic with local assignments
• Propositional dynamic logic with program quantifiers
• Title not available (Why is that?)
• Automata, Languages and Programming
• Title not available (Why is that?)
• PDL with data constants

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)