Results 161 to 170 of about 1,478 (181)

From Intuitionism to Many-Valued Logics Through Kripke Models

Logic, Epistemology, and the Unity of Science, 2021
Saeed Salehi, Salehi Saeed
exaly  

ZFC‐MODELS AS KRIPKE‐MODELS

Mathematical Logic Quarterly, 1983
openaire   +2 more sources

Extensions of Kripke models

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

Games and Bisimulations for Intuitionistic First-Order Kripke Models

Studia Logica, 2021
Małgorzata Kruszelnicka
exaly  

Submodels of Kripke Models

The Bulletin of Symbolic Logic, 2002
Rosalie Iemhoff, Albert Visser
openaire   +1 more source

Not all Kripke models of HA are locally PA

Advances in Mathematics, 2022
exaly  

The infinite, the indefinite and the critical turn: Kant via Kripke models

Inquiry (United Kingdom), 2022
exaly  

Some results on Kripke models over an arbitrary fixed frame

Mathematical Logic Quarterly, 2003
Morteza Moniri
exaly  

Step-indexed kripke models over recursive worlds

ACM SIGPLAN Notices, 2011
Bernhard Reus, Lars Birkedal, Hongseok Yang   +2 more
exaly  

Kripke Models

2005
openaire   +1 more source