Results 151 to 156 of about 21,307,672 (156)

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

Studia Logica, 2005
exaly  

Kripke-type Semantics for

Electronic Notes in Theoretical Computer Science, 2016
Miguel Pérez-Gaspar
exaly  

Incompleteness Results in Kripke Bundle Semantics

Mathematical Logic Quarterly, 1997
exaly  

Kripke Bundle Semantics and C-set Semantics

Studia Logica, 1997
exaly  

An implementation of Kripke-Kleene semantics

Information Sciences, 1998
exaly  

Variations on the Kripke Trick

Studia Logica
Dmitry Shkatov, Mikhail Rybakov
exaly