Results 181 to 186 of about 20,953 (186)
Some of the next articles are maybe not open access.

MODEL-CHECKING OF LINEAR-TIME PROPERTIES IN POSSIBILISTIC KRIPKE STRUCTURE

Quantitative Logic and Soft Computing, 2012
LIJUN LI, YONGMING LI
openaire   +1 more source

Kripke-style semantics for many-valued logics

Mathematical Logic Quarterly, 2003
exaly  

On the Predicate Logic of Linear Kripke Frames and some of its Extensions

Studia Logica, 2005
exaly  

Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics

Studia Logica, 1993
exaly  

Symbolic Model Checking of Hybrid CTL on Coloured Kripke Structures

Nikola Beneš   +4 more
openaire   +1 more source

A Kripke-Style Model for the Admissibility of Structural Rules

2002
openaire   +1 more source
mathematics
computer science - logic in computer science
model checking
16. peace & justice
fos: computer and information sciences
logic in computer science cs.lo
temporal logic
2. zero hunger
kripke structures
previous   17  18  19  

Home - About - Disclaimer - Privacy