Results 171 to 180 of about 20,953 (186)
Some of the next articles are maybe not open access.
$$\epsilon $$-Approximate Bisimulations for Nondeterministic Fuzzy Kripke Structures
2023openaire +1 more source
Adapting Biochemical Kripke Structures for Distributed Model Checking
2006Susmit Jha, R. K. Shyamasundar
openaire +1 more source
Kripke submodels and universal sentences
Mathematical Logic Quarterly, 2007Jonathan A Fleischmann, Wim Ruitenburg
exaly
Adding a Conditional to Kripke’s Theory of Truth
Journal of Philosophical Logic, 2016Lorenzo Rossi
exaly
The infinite, the indefinite and the critical turn: Kant via Kripke models
Inquiry (United Kingdom), 2022exaly
Correspondence Between Kripke Frames and Projective Geometries
Studia Logica, 2017Shengyang Zhong
exaly
The Creating Subject, the Brouwer–Kripke Schema, and infinite proofs
Indagationes Mathematicae, 2018exaly