Results 141 to 150 of about 21,307,672 (156)

Adding a Conditional to Kripke’s Theory of Truth

Journal of Philosophical Logic, 2016
Lorenzo Rossi
exaly  

Kripke v. Wittgenstein

2023
James R Shaw
exaly  

The Creating Subject, the Brouwer–Kripke Schema, and infinite proofs

Indagationes Mathematicae, 2018
Mark van Atten
exaly  

Submodels of Kripke models

Archive for Mathematical Logic, 2001
Albert Visser
exaly  

Preservation theorems for Kripke models

Mathematical Logic Quarterly, 2009
Mostafa Zaare, Morteza Moniri
exaly  

Against Kripke’s solution to the problem of negative existentials

Analysis, 2019
Marco Hausmann
exaly  

Some results on Kripke models over an arbitrary fixed frame

Mathematical Logic Quarterly, 2003
Morteza Moniri
exaly  

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