Results 201 to 210 of about 12,748 (219)

Kripke-style semantics for many-valued logics

Mathematical Logic Quarterly, 2003
Franco Montagna
exaly  

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

Studia Logica, 1993
Nobu-Yuki Suzuki
exaly  

Kripke submodels and universal sentences

Mathematical Logic Quarterly, 2007
Jonathan Andrew Fleischmann, Wim Ruitenburg   +1 more
exaly  

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