scientific article; zbMATH DE number 4008371

zbMATH Open0622.03018MaRDI QIDQ3758809FDOQ3758809

Authors: R. Pliuškevičius 

Publication date: 1985

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

Recommendations

• Sequential dynamic logic
• scientific article; zbMATH DE number 3918336
• scientific article; zbMATH DE number 1678381
• The propositional dynamic logic of deterministic, well-structured programs
• A practical decision method for propositional dynamic logic (preliminary report)

zbMATH Keywords

propositional dynamic logicprogram terminationsequential calculifunctional dynamic logicsymmetric dynamic logictotal correctness of deterministic programs

Mathematics Subject Classification ID

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

Cited In (8)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Loop-free verification of termination of derivation for a fragment of dynamic logic
• Sequential operators in computability logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Sequential dynamic logic
• Title not available (Why is that?)

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