scientific article; zbMATH DE number 4191139

zbMATH Open0722.68078MaRDI QIDQ3210192FDOQ3210192

Maciej Koutny

Publication date: 1991

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

zbMATH Keywords

congruenceformal verificationKripke structures\(CTL^ *\) branching time temporal logicbehaviour expressionsbisimulation relationsnon- sequential systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

   Recommendations

• Title not available (Why is that?) 👍 👎
• Axiomatic System, Deduction and Implication 👍 👎
• Axiomatization of Induced Theories 👍 👎
• Axiomatic Constraint Systems for Proof Search Modulo Theories 👍 👎
• Title not available (Why is that?) 👍 👎
• Axiomatizing fixpoint logics 👍 👎
• An axiomatization of PCTL* 👍 👎
• A Deductive System for Existential Least Fixpoint Logic 👍 👎
• Formalizing axiomatic systems for propositional logic in Isabelle/HOL 👍 👎
• Paradeduction in Axiomatic Formal Systems 👍 👎

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