Results 231 to 240 of about 16,014 (243)

Kripke modelling approaches of a multiple robots system with minimalist communication: A formal approach of choice

International Journal of Systems Science, 2006
Antonios Tsourdos
exaly  

Kripke submodels and universal sentences

Mathematical Logic Quarterly, 2007
Jonathan A Fleischmann, Wim Ruitenburg
exaly  

Adding a Conditional to Kripke’s Theory of Truth

Journal of Philosophical Logic, 2016
Lorenzo Rossi
exaly  

Dov Gabbay, Reactive Kripke Semantics

Studia Logica, 2017
openaire   +1 more source

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

Inquiry (United Kingdom), 2022
exaly  

Correspondence Between Kripke Frames and Projective Geometries

Studia Logica, 2017
Shengyang Zhong
exaly  

Submodels of Kripke models

Archive for Mathematical Logic, 2001
Albert Visser
exaly  

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

Indagationes Mathematicae, 2018
exaly  

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

Studia Logica, 2005
exaly  

Many-Valued and Kripke Semantics

2006
openaire   +1 more source