Logical analysis of demonic nondeterministic programs

DOI10.1016/0304-3975(95)00190-5MaRDI QIDQ671651zbMATH OpenOpenAlexFDO

Authors Stéphane Demri, Ewa 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

natural deductiondynamic logicrelational logicdemonic operationsHilbert-style proof systemnondeterministic programsRasiowa-Sikorski-style proof system

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4200180
• A RELATIONAL MODEL OF DEMONIC NONDETERMINISTIC PROGRAMS
• A nondeterministic program logic
• A logic for the description of non-deterministic programs and their properties
• scientific article; zbMATH DE number 4123706

Cites work

• scientific article; zbMATH DE number 4014675 (Why is no real title available?)
• scientific article; zbMATH DE number 3869303 (Why is no real title available?)
• scientific article; zbMATH DE number 67039 (Why is no real title available?)
• scientific article; zbMATH DE number 3558939 (Why is no real title available?)
• scientific article; zbMATH DE number 3597842 (Why is no real title available?)
• scientific article; zbMATH DE number 500944 (Why is no real title available?)
• scientific article; zbMATH DE number 1028833 (Why is no real title available?)
• scientific article; zbMATH DE number 3315203 (Why is no real title available?)
• scientific article; zbMATH DE number 3358440 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• A RELATIONAL MODEL OF DEMONIC NONDETERMINISTIC PROGRAMS
• A general filtration method for modal logics
• Laws of programming
• On Some Completeness Theorems in Modal Logic
• Propositional dynamic logic of regular programs
• Relational algebraic semantics of deterministic and nondeterministic programs

Cited in

(18)

• A logic for the description of non-deterministic programs and their properties
• Domain and range for angelic and demonic compositions
• Nondeterminism and nondeterministic degree
• The algebra of non-deterministic programs: demonic operations, orders and axioms
• A nondeterministic program logic
• Bibliography of Ewa Orłowska
• Reasoning on relations, modalities, and sets
• Terms with unbounded demonic and angelic nondeterminacy
• An elementary proof for some semantic characterizations of nondeterministic Floyd-Hoare logic
• Logical relations and nondeterminism
• scientific article; zbMATH DE number 3936484 (Why is no real title available?)
• scientific article; zbMATH DE number 3854395 (Why is no real title available?)
• Demonic lattices and semilattices in relational semigroups with ordinary composition
• Modal logics with relative accessibility relations
• A RELATIONAL MODEL OF DEMONIC NONDETERMINISTIC PROGRAMS
• Synthesis of strategies using the Hoare logic of angelic and demonic nondeterminism
• The epistemology of nondeterminism
• The epistemology of nondeterminism

This page was built for publication: Logical analysis of demonic nondeterministic programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q671651)