scientific article

zbMATH Open0648.03020MaRDI QIDQ3792665

Z. A. Zhitnikova

Publication date: 1985

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

zbMATH Keywords

deterministic propositional dynamic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Hierarchies of program logics 👍 👎
• On the declarative and procedural semantics of logic programs 👍 👎
• Types for Proofs and Programs 👍 👎
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 👍 👎

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