Results 171 to 180 of about 2,948 (196)

Adding a Conditional to Kripke’s Theory of Truth

Journal of Philosophical Logic, 2016
Lorenzo Rossi, Rossi Lorenzo
exaly  

Kripke on Wittgenstein on Normativity*

2002
openaire   +1 more source

Incompleteness Results in Kripke Bundle Semantics

Mathematical Logic Quarterly, 1997
exaly  

Against Kripke’s solution to the problem of negative existentials

Analysis, 2019
Marco Hausmann
exaly  

Saul Kripke

The European Legacy, 2014
openaire   +1 more source

Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics

Studia Logica, 1993
exaly  

Every Rooted Narrow Tree Kripke Model of HA is Locally PA

Mathematical Logic Quarterly, 2002
Mohammad Ardeshir
exaly  

Kripke-style semantics for many-valued logics

Mathematical Logic Quarterly, 2003
exaly  

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

Studia Logica, 2005
exaly  

Canonical Extensions and Kripke–Galois Semantics for Non-distributive Logics

Logica Universalis, 2018
Chrysafis Hartonas, Hartonas Chrysafis
exaly