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

A Kripke Structure for the Ontology Alignment

2018
exaly  

Kripke Models for Predicate Logic

2005
openaire   +1 more source

Realizations and witnesses for Kripke models.

1982
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   21  22  23  

Home - About - Disclaimer - Privacy