scientific article; zbMATH DE number 4191139

MaRDI QIDQ3210192zbMATH OpenFDO

Authors Maciej Koutny

Publication date 1991

zbMATH Keywords

\(CTL^ *\) branching time temporal logicbehaviour expressionsbisimulation relationscongruenceformal verificationKripke structuresnon- sequential systems

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1927551
• Axiomatic System, Deduction and Implication
• Axiomatization of Induced Theories
• Axiomatic constraint systems for proof search modulo theories
• scientific article; zbMATH DE number 3069861
• 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

Cited in

(1)

• Three logics for branching bisimulation

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)