Logical analysis of demonic nondeterministic programs

DOI10.1016/0304-3975(95)00190-5zbMath0872.03018OpenAlexW2073882281MaRDI QIDQ671651

Stéphane P. Demri, Ewa S. Orłowska

Publication date: 27 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(95)00190-5

zbMATH Keywords

dynamic logicnatural deductionrelational logicdemonic operationsHilbert-style proof systemnondeterministic programsRasiowa-Sikorski-style proof system

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Modal logics with relative accessibility relations ⋮ Domain and range for angelic and demonic compositions

Cites Work

• Relational algebraic semantics of deterministic and nondeterministic programs
• Propositional dynamic logic of regular programs
• A general filtration method for modal logics
• Laws of programming
• A RELATIONAL MODEL OF DEMONIC NONDETERMINISTIC PROGRAMS
• On Some Completeness Theorems in Modal Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item