Results 151 to 160 of about 20,953 (186)
Some of the next articles are maybe not open access.
Dynamic algebras which are not Kripke structures
2005The first example of a dynamic algebra which is not isomorphic to any Kripke structure was given by Kozen [8]. We analyze properties of dynamic algebras to get general arguments making it possible to construct a lot of other examples.
Jan Reiterman, Věra Trnková
openaire +1 more source
A Kripke Structure for the Ontology Alignment
2018 International Arab Conference on Information Technology (ACIT), 2018In this paper, we propose a new way for the ontology alignment formalization using the Kripke structure in order to be able to exploiting a reliable tool as the Model checking. This later is a powerful mechanism for system verification. Here, the Kripke structures are used to model the behaviors of the ontology of alignment.
openaire +1 more source
On the structure of kripke models of heyting arithmetic
Mathematical Logic Quarterly, 1993AbstractSince in Heyting Arithmetic (HA) all atomic formulas are decidable, a Kripke model for HA may be regarded classically as a collection of classical structures for the language of arithmetic, partially ordered by the submodel relation. The obvious question is then: are these classical structures models of Peano Arithmetic (PA)?
openaire +2 more sources
Lattice-Valued Kripke Structures Based on Complete Residuated Lattice
2012 IEEE Sixth International Conference on Software Security and Reliability Companion, 2012We introduce the lattice-valued Kripke structures, for the purpose of allowing imprecise or incomplete specifications to be expressed, by extending the traditional notion of Kripke structures in the context of complete residuated lattice. Moreover, we show how the traditional trace inclusion and equivalence, can be lifted to a setting of quantitative ...
Haiyu Pan, Min Zhang, Yixiang Chen
openaire +1 more source
Modeling Product Lines with Kripke Structures and Modal Logic
2015Product lines are an established framework for software design. They are specified by special diagrams called feature models. For formal analysis, the latter are usually encoded by propositional theories with Boolean semantics. We discuss a major deficiency of this semantics, and show that it can be fixed by considering that a product is an ...
Zinovy Diskin +3 more
openaire +1 more source
Bounded Model Checking for Partial Kripke Structures
2008Partial Kripke structures model incomplete state spaces with unknown parts. The evaluation of temporal logic formulae on partial Kripke structures is thus based on three-valued interpretations; the additional truth value $\bot$ stands for "unknown whether property true or false".
openaire +1 more source
A new model for model checking: cycle-weighted Kripke structure
Frontiers of Computer Science in China, 2010zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Zhu, Jiaqi +3 more
openaire +1 more source
Model Checking Modal Transition Systems Using Kripke Structures
2002We reduce the modal mu-calculus model-checking problem for Kripke modal transition systems to the modal mu-calculus modelchecking problem for Kripke structures. This reduction is sound, preserves the alternation-depth fragments of the modal mu-calculus, is linear in the size of formulas and models, and extends the reach of modal mu-calculus model ...
openaire +1 more source
The application of Kripke-type structures to regional development programs
1993Legal and administraitve decision making are characterized by conflicting laws, statutes and internal regulations making the process extremely difficult to formalize. Defining strategies for modetling priorities and their allocation is of major importance in such an environment.
Matthias Baaz +3 more
openaire +1 more source
POSSIBILISTIC KRIPKE STRUCTURE DECISION PROCESSES
Quantitative Logic and Soft Computing, 2012YAN XUE, HONGXUAN LEI, YONGMING LI
openaire +1 more source