Results 1 to 10 of about 11,863 (152)
On lattice of existential formulas for fragment of Jonsson set
Қарағанды университетінің хабаршысы. Математика сериясы, 2015 This paper its content associated with the study of model - theoretic properties of Jonsson theories and their semantic models. In particular, considering Jonsson sets concerning of their definable circuit described fragments and their relationship to ...
A.R. Yeshkeyev, O.I. Ulbrikht
doaj +1 more source
, 2014 This paper presents a formal characterisation of safety and liveness properties \`a la Alpern and Schneider for fully probabilistic systems. As for the classical setting, it is established that any (probabilistic tree) property is equivalent to a ...
Baier C. +9 more
core +19 more sources
On computing fixpoints in well-structured regular model checking, with applications to lossy channel systems [PDF]
, 2006 We prove a general finite convergence theorem for "upward-guarded" fixpoint expressions over a well-quasi-ordered set. This has immediate applications in regular model checking of well-structured systems, where a main issue is the eventual convergence of
A. Arnold +25 more
core +2 more sources
Some properties of Morly rank over Jonsson sets
Қарағанды университетінің хабаршысы. Математика сериясы, 2016 This article introduced and discussed the concepts of minimal Jonsson sets and respectively strongly minimal Jonsson sets. On this basis, it introduces the concept of the independence of special subsets of existentially closed submodel of the semantic ...
A.R. Yeshkeyev
doaj +1 more source
The properties of central types with respect to enrichment by Jonsson set
Қарағанды университетінің хабаршысы. Математика сериясы, 2017 The main results of the article are for a new class of theories, namely existential prime strongly convex Jonsson theories. This class is quite broad in terms of algebra, for example it includes the class of all Abelian groups and groups.
A.R. Yeshkeyev
doaj +1 more source
Companions of the fragments in the Jonsson enrichment
Қарағанды университетінің хабаршысы. Математика сериясы, 2017 In this article we consider the properties of central types for the existentially prime strongly convex Jonsson theories in some extension. This class of theories is a subclass of a broad class of Jonsson theories.
A.R. Yeshkeyev
doaj +1 more source
The properties of central-orbital types of EPSCJ theories
Қарағанды университетінің хабаршысы. Математика сериясы, 2017 This article, in its content, refers to the study of the theoretical - model properties of the Jonsson theories. A new approach to this study is proposed. As a new notion, the idea of a central - orbital type is used.
A.R. Yeshkeyev
doaj +1 more source
Model Checking Probabilistic Pushdown Automata [PDF]
, 2006 We consider the model checking problem for probabilistic pushdown automata (pPDA) and properties expressible in various probabilistic logics. We start with properties that can be formulated as instances of a generalized random walk problem. We prove that
Andrei Voronkov +4 more
core +8 more sources
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata [PDF]
, 2021 The probabilistic bisimilarity distance of Deng et al. has been proposed as a robust quantitative generalization of Segala and Lynch's probabilistic bisimilarity for probabilistic automata. In this paper, we present a characterization of the bisimilarity
Bacci, Giorgio +5 more
core +3 more sources
Forward Analysis for WSTS, Part III: Karp-Miller Trees [PDF]
, 2020 This paper is a sequel of "Forward Analysis for WSTS, Part I: Completions" [STACS 2009, LZI Intl. Proc. in Informatics 3, 433-444] and "Forward Analysis for WSTS, Part II: Complete WSTS" [Logical Methods in Computer Science 8(3), 2012].
Blondin, Michael +2 more
core +3 more sources