Results 191 to 200 of about 24,570,426 (223)

Finite Kripke models of HA are locally PA

Notre Dame J. Formal Log., 1986
In a Kripke model for Heyting arithmetic the nodes carry classical models of (subsystems of) Peano arithmetic. It is not known which theories hold for these local models in general. In the present paper it is established that in finite Kripke models the local models are models of full Peano arithmetic.
van Dalen, D. V., Mulder, H., Krabbe, E. C.W., Visser, A.   +3 more
openaire   +1 more source

Constructions of classical models by means of Kripke models (survey)

Studia Logica, 1979
It is demonstrated how Kripke models for intuitionistic predicate logic can be applied in order to prove classical theorems. As examples proofs of the independence of the axiom of constructibility, of the omitting types theorem and of Shelah's ultrapower theorem are sketched.
openaire   +2 more sources

Handbook of Model Checking

Cambridge International Law Journal, 2018
E. Clarke, T. Henzinger, H. Veith, R. Bloem   +3 more
semanticscholar   +1 more source

Model Checking Modal Transition Systems Using Kripke Structures

International Conference on Verification, Model Checking and Abstract Interpretation, 2002
M. Huth
semanticscholar   +1 more source

Kripke Modelling and Model Checking of a Multiple UAV System Monitoring Road Network

, 2010
G. Sirigineedi, A. Tsourdos, B. White, R. Zbikowski   +3 more
semanticscholar   +1 more source

Bounded Model Checking for Partial Kripke Structures

International Colloquium on Theoretical Aspects of Computing, 2008
H. Wehrheim
semanticscholar   +1 more source

Adapting Biochemical Kripke Structures for Distributed Model Checking

Trans. Comp. Sys. Biology, 2006
Susmit Jha, R. Shyamasundar
semanticscholar   +1 more source

Functional Interpretation and Kripke Models

1977
In this paper, we shall investigate the relationship between Gode’s functional interpretation and validity in a Kripke structure built up from the concept of functional system.
openaire   +1 more source

A Kripke-Style Model for the Admissibility of Structural Rules

Types for Proofs and Programs, 2000
H. Goguen
semanticscholar   +1 more source

ZFC‐MODELS AS KRIPKE‐MODELS

Mathematical Logic Quarterly, 1983
openaire   +2 more sources