Results 141 to 150 of about 2,948 (196)
Some of the next articles are maybe not open access.
Kripke, Pseudo-Kripke, and Wallace
Analysis, 1978tional Quantification?' may well feel that there is nothing to be salvaged from the views about the substitutional interpretation of quantifiers which Wallace propounded in 'On the Frame of Reference' and other papers. My present purpose is to show that in one respect Kripke misunderstood Wallace, and, in the light of this, to consider the significance
openaire +1 more source
Weak Arithmetics and Kripke Models
Mathematical Logic Quarterly, 2002 The paper contains two main results. The first shows that the intuitionistic least number principle for \(\Pi_1\) formulas is equivalent to the intuitionistic induction scheme for \(\Pi_1\) formulas. The other result is a characterization of those linear Kripke structures which decide all \(\Delta_0\)-formulas, and in which forcing and satisfaction for
Morteza Moniri
exaly +3 more sources
Studia Logica, 2006
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
2015
A runtime verification technique has been developed for CSP via translation of CSP models to Kripke structures. With this technique, we can check that a system under test satisfies properties of traces and refusals of its CSP model. This complements analysis facilities available for CSP and for all languages with a CSP-based semantics:i¾?Safety ...
Ana Cavalcanti 0001 +3 more
openaire +1 more source
A runtime verification technique has been developed for CSP via translation of CSP models to Kripke structures. With this technique, we can check that a system under test satisfies properties of traces and refusals of its CSP model. This complements analysis facilities available for CSP and for all languages with a CSP-based semantics:i¾?Safety ...
Ana Cavalcanti 0001 +3 more
openaire +1 more source
?Conservative? Kripke closures
Synthese, 1984Computable Kripke closures are properties of relations which have closures in, roughly speaking, the sense of the transitive closure. They were introduced in [8] to generalize Kripke-style tableaux constructions and were studied from a model-theoretic perspective by Weaver and Gumb [19].
openaire +1 more source
Philosophical Studies, 1996
Ruth Barcan Marcus, in several incidental passages in her later published writings, seems to imply a claim, which has subsequently been stated more explicitly by others,2 and given very wide publicity, that certain remarks on names in her colloquium talk “Modalities and Intensional Language” anticipate in an important but unacknowledged way Saul Kripke’
openaire +1 more source
Ruth Barcan Marcus, in several incidental passages in her later published writings, seems to imply a claim, which has subsequently been stated more explicitly by others,2 and given very wide publicity, that certain remarks on names in her colloquium talk “Modalities and Intensional Language” anticipate in an important but unacknowledged way Saul Kripke’
openaire +1 more source
2004
Abstract Saul Kripke, in a series of classic writings of the 1960s and 1970s, changed the face of metaphysics and philosophy of language. Christopher Hughes offers a careful exposition and critical analysis of Kripke's central ideas about names, necessity, and identity.
openaire +1 more source
Abstract Saul Kripke, in a series of classic writings of the 1960s and 1970s, changed the face of metaphysics and philosophy of language. Christopher Hughes offers a careful exposition and critical analysis of Kripke's central ideas about names, necessity, and identity.
openaire +1 more source
On Some Kripke Complete and Kripke Incomplete Intermediate Predicate Logics
Studia Logica, 1998The Kripke completeness problem of intermediate predicate logics is investigated in relation to the constant domain axiom, the Kuroda axiom, and three kinds of propositional axioms, including the weak excluded middle, which are cofinal subframe formulas comparable on the intuitionistic base.
openaire +2 more sources
Kripke on Wittgenstein on Rules
The Journal of Philosophy, 1985There is no doubt that Ludwig Wittgenstein thought the topic of rulefollowing to be important; nearly forty sections of the Philosophical Investigations are devoted to it, as are large swatches of the manuscripts published as Remarks on the Foundations of Mathematics. Its relevance to Wittgenstein's philosophy of mathematics was emphasized early on
openaire +1 more source
Journal of Philosophical Logic, 1988
The paper discusses Kripke's semantics for truth and establishes some facts about related proof-theories. Let C be the class of Kripke interpretations, based on any one of a number of standard 3-valued logics, L, in which the interpretation of the truth predicate, T, is a fixed-point.
openaire +1 more source
The paper discusses Kripke's semantics for truth and establishes some facts about related proof-theories. Let C be the class of Kripke interpretations, based on any one of a number of standard 3-valued logics, L, in which the interpretation of the truth predicate, T, is a fixed-point.
openaire +1 more source