Results 181 to 190 of about 14,300 (195)

Adapting Biochemical Kripke Structures for Distributed Model Checking

2006
Susmit Jha, R. K. Shyamasundar
openaire   +1 more source

Model Checking of Linear-Time Properties Based on Possibility Measure

IEEE Transactions on Fuzzy Systems, 2013
Yongming Li
exaly  

KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS

Journal of Symbolic Logic, 2019
Yoshihito Tanaka, Michael Zakharyaschev
exaly  

Submodels of Kripke models

Archive for Mathematical Logic, 2001
Albert Visser
exaly  

An algebraic generalization of Kripke structures

Mathematical Proceedings of the Cambridge Philosophical Society, 2008
Pedro Resende
exaly  

Logics and decidability for labelled pre- and partially ordered Kripke structures

, 1994
Antonia Sinachopoulos
openalex   +1 more source

Kripke semantics for knowledge representation logics

Studia Logica, 1990
exaly  

ABRAHAM, U. and SHELAH, S., A AZ well-order of the reals and incompactness of L (Q”“) BUSS, SR, Intuitionistic validity in T-normal Kripke structures CAICEDO, X., Compactness and normality in abstract logics CENZER, D., DOWNEY, R., JOCKUSCH, C. and SHORE

, 1993
L. Li
openalex   +1 more source

A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic

, 2012
Uli Fahrenberg, Kim G. Larsen, Claus Thrane   +2 more
openalex  

Characterizing Kripke structures in temporal logic

Lecture Notes in Computer Science, 2005
exaly