scientific article; zbMATH DE number 4008371

MaRDI QIDQ3758809zbMATH OpenFDO

Authors R. Pliuškevičius

Publication date 1985

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)

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)

Cited in

(8)

• scientific article; zbMATH DE number 1765704 (Why is no real title available?)
• Loop-free verification of termination of derivation for a fragment of dynamic logic
• Sequential operators in computability logic
• scientific article; zbMATH DE number 3559517 (Why is no real title available?)
• scientific article; zbMATH DE number 1678381 (Why is no real title available?)
• scientific article; zbMATH DE number 3912349 (Why is no real title available?)
• Sequential dynamic logic
• scientific article; zbMATH DE number 3918336 (Why is no real title available?)

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)