Results 161 to 170 of about 2,948 (196)
Some of the next articles are maybe not open access.

Kripke's Wittgenstein

2012
openaire   +1 more source

Kripke submodels and universal sentences

Mathematical Logic Quarterly, 2007
Jonathan Fleischmann, Wim Ruitenburg
exaly  

Kripke v. Wittgenstein

2023
Shaw James R, James R Shaw
exaly  

Kripke-type Semantics for CG3′

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

Extensions of Kripke models

Logic Journal of the IGPL, 2017
openaire   +1 more source

Some results on Kripke models over an arbitrary fixed frame

Mathematical Logic Quarterly, 2003
Morteza Moniri
exaly  

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

Indagationes Mathematicae, 2018
Mark Van Atten
exaly  

Home - About - Disclaimer - Privacy