Results 211 to 220 of about 24,570,426 (223)
Some of the next articles are maybe not open access.

Complete model-based equivalence class testing for nondeterministic systems

Formal Aspects of Computing, 2016
Wen-ling Huang, J. Peleska
semanticscholar   +1 more source

Not all Kripke models of HA are locally PA

Advances in Mathematics, 2022
exaly  

Model Checking of Embedded Systems Using RTCTL While Generating Timed Kripke Structure

2018
Satoshi Yamane
exaly  

Some results on Kripke models over an arbitrary fixed frame

Mathematical Logic Quarterly, 2003
Morteza Moniri
exaly  

Ordered sets R and Q as bases of Kripke models

Studia Logica, 1987
exaly  

Kripke-style semantics for many-valued logics

Mathematical Logic Quarterly, 2003
exaly  

Applications of Kripke models

1973
openaire   +1 more source

Applications of Kripke models to Heyting-Brouwer logic

Studia Logica, 1977
exaly  

Approximate bisimulations for Kripke models of fuzzy multimodal logics over complete Heyting algebras

Fuzzy Sets and Systems
Miroslav Ciric   +2 more
exaly  

Kripke models with relative accessibility

Decision Support Systems, 1986
openaire   +1 more source
computer science
mathematics
model checking
computer science - logic in computer science
modal logic
nonclassical models boolean-valued, sheaf, etc.
first-order arithmetic and fragments
kripke models
intermediate logics
previous   20  21  22  23  

Home - About - Disclaimer - Privacy