scientific article; zbMATH DE number 4191139
From MaRDI portal
Publication:3210192
zbMATH Open0722.68078MaRDI QIDQ3210192FDOQ3210192
Authors: Maciej Koutny 
Publication date: 1991
Title of this publication is not available (Why is that?)
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
congruenceformal verificationKripke structures\(CTL^ *\) branching time temporal logicbehaviour expressionsbisimulation relationsnon- sequential systems
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)
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)
