Results 221 to 230 of about 16,014 (243)
Some of the next articles are maybe not open access.
Some Remarks on the Role of Essence in Kripke's “Naming and Necessity”
Theoria (Stockholm), 2022Kit Fine
exaly
Imbedding Operations Associated with Kripke’s “Semantics”
1969In [1] Kripke proposed some translation of formulas from pure constructive, predicate calculus into formulas of a broader language, and he proved a theorem on completeness which asserts substantially that this translation is an imbedding in some system of classical mathematics.
openaire +1 more source
Concerning Kripke semantics for intermediate predicate logics
2019In Proc. Japan Acad. 49, 337-340 (1973; Zbl 0276.02037), \textit{S. Nagai} introduced a new type of semantics for intermediate predicate logics, which \textit{H. Ono} and \textit{S. Nagai} [J. Tsuda College 6, 9-21 (1974)] termed the general Kripke models.
openaire +2 more sources
Satisfiability Problems on Sums of Kripke Frames
ACM Transactions on Computational Logic, 2022Ilya B Shapirovsky
exaly
Canonical Extensions and Kripke–Galois Semantics for Non-distributive Logics
Logica Universalis, 2018Chrysafis Hartonas
exaly