scientific article

zbMATH Open0622.03018MaRDI QIDQ3758809FDOQ3758809

R. Pliuškevičius

Publication date: 1985

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

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 (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Sequential operators in computability logic
• Title not available (Why is that?)
• Sequential dynamic logic

   Recommendations

• Sequential dynamic logic 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• The propositional dynamic logic of deterministic, well-structured programs 👍 👎
• A practical decision method for propositional dynamic logic (Preliminary Report) 👍 👎

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)