Results 211 to 219 of about 12,748 (219)

Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL∀

Studia Logica, 2002
Hiroakira Ono, Franco Montagna
exaly  

Kripke Incomplete Logics Containing KTB

Studia Logica, 2007
exaly  

Weak Arithmetics and Kripke Models

Mathematical Logic Quarterly, 2002
Morteza Moniri
exaly  

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