The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Filters
Page 3132 of Mathematical Reviews Vol. , Issue 2000e
[page]
2000
Mathematical Reviews
Preserved Fulltext
possible worlds semantics (the so-called possible models approach). ...
Summary: “In this paper the semantics of uncertainty is con- structed, and its characteristics are investigated. ...
Page 4934 of Mathematical Reviews Vol. , Issue 94i
[page]
1994
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
In this pa- per, we present a system with built-in axioms for reasoning about higher-order uncertainty. ...
We present axiomatic and LDS-style proof theories and semantics for the logic, with soundness and completeness results. ...
Forty Years Later: Naming Without Necessity, Necessity Without Naming 1
2021
Theoria
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
designation" (C) gives treatment of de re modality without any use of possible worlds, essences, concepts, rigid designators (D) it argues an ultimate asymmetry-naming/referring is a key real notion of semantics ...
Kripke's designation semantics, like Carnap's before him, has but one frame viz. the intra-semantical apparatus of designation in the possible worlds model theory. ...
The semantics is not to be confused with a model theory of possible worlds designed for model theoretic validity for modal logics. ...
doi:10.1111/theo.12361
fatcat:vifwil4gvvckdkin27mpdcvd7q
Knowledge and Certainties in the Epistemic State of Nature
2011
Episteme: A journal of individual and social epistemology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
But it can do so only if Craig's traditional commitment to a central "core" in our concept of knowledge is replaced with the idea ofknowledgeas a family-resemblance concept. ...
Katz acknowl edges that his distinction is merely a semantic differentiation of degree in saying, the model of community permits the consideration of both intrinsic and instrumental value to a greater ...
Because this non-contingent claim is known aposteriori it involves an element of uncertainty. ...
doi:10.3366/epi.2011.0003
fatcat:d52j2ckzerfzfmbmwgxu7aez44
Binding bound variables in epistemic contexts
2018
Inquiry (Oslo)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Since we are only concerned with the model-theoretic semantics-not with certain metaphysical commitments-we will follow the advice of Schwarz (2012), who says: . . . we should dissociate counterpart semantics ...
The background to much of Kripke's work in this area concerns issues in the model-theoretic semantics for modal logic, especially quantified modal logic and the forceful Quinean objections to such an enterprise ...
doi:10.1080/0020174x.2018.1470568
fatcat:nodlb2c52nevjhim5u363zzwa4
Page 633 of Mathematical Reviews Vol. , Issue 95b
[page]
1995
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
The semantics of QML is based on Kripke’s conception of possible worlds. Models and fundamental properties such as satisfiability and validity in a model are defined. ...
%-logics is proved with respect to models in which all worlds are named. ...
Intelligence and Reference
[chapter]
2013
Computing Nature
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
and cognitive intelligence, as far as it is formalized in the appropriate ontological interpretation of the modal calculus (formal ontology), can suggest a solution of the reference problem that formal semantics ...
descriptive" (Frege) and the "causal" (Kripke) theory of reference, can be implemented only in a particular class of self-organizing dynamic systems, i.e., the dissipative chaotic systems characterizing the "semantic ...
The epistemic logic: concerned with what is "science or opinion", where the modal operators have the basic meaning of "certainty/uncertainty". ...
doi:10.1007/978-3-642-37225-4_8
fatcat:c7kdxne6snegpmmpfxvpq4npsi
Essencialismo, referência e o A posteriori necessário
2011
Filosofia Unisinos
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This paper elaborates on the epistemological incongruencies and shortcomings identifi ed in Kripke's view on reference. ...
I question the consistency of Kripke's notion of a posteriori necessity and show that all purported examples of necessary a posteriori truth are in principle amenable to a priori knowledge. ...
and ubiquitous uncertainty, is already supposed in Kripke's second route. ...
doi:10.4013/fsu.2011.123.01
fatcat:5sgzsdr355d6djnih6epv5unxu
Page 1233 of Mathematical Reviews Vol. , Issue 92c
[page]
1992
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
The semantics of these logics is given by Kripke models augmented by a metric measur- ing a distance between possible worlds which is used to define the semantics of the com-operator. ...
A new attempt to classify the numerous models of fuzzy ‘if... then’ rules from a semantic point of view is presented. ...
Two notions of metaphysical modality
2018
Synthese
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The paper explores the project of an ambitious modal epistemology that attempts to combine the a priori methods of Chalmers' 2D semantics with Kripke's modal metaphysics. ...
Furthermore, empirical investigation combined with Kripke's necessity-generating principles (i.e., the necessity of identity, the necessity of origin, of kind-membership, and of substance composition) ...
So, even once we know how things have actually turned out, we can still make sense of those epistemic possibilities and model them by means of a suitable world-semantics. ...
doi:10.1007/s11229-018-1702-2
fatcat:3d5nvqi2bbd35pfifpskp6bcwq
On intuitions about proper names
2005
Acta Linguistica Hungarica
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
They arrived at the conclusion that the way most respondents used proper names is not compatible with the causalhistorical theory of proper names as advocated by Kripke. ...
Interim conclusions From the three points made in the previous sections, it should have become clear that although the text for the experiment was exactly modeled on Kripke's Gödel thought experiment, ...
I would like to thank László Nemes for sharing the results with me.
scrutinize this opinion by basically transforming Kripke's thought experiments into real experiments. ...
doi:10.1556/aling.52.2005.2-3.6
fatcat:hqblicw4qvaz3puhdci4ktje3e
HOW TO EXPRESS SELF-REFERENTIAL PROBABILITY. A KRIPKEAN PROPOSAL
2015
The Review of Symbolic Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We develop a corresponding axiomatic theory and show by a canonical model construction that it is complete in the presence of theω-rule. ...
AbstractWe present a semantics for a language that includes sentences that can talk about their own probabilities. ...
This is common when working with Kripke's theory. ...
doi:10.1017/s1755020315000118
fatcat:uzijfbatbzfh3kmtibj25q5ebi
Naming and Asserting
[chapter]
2005
Semantics versus Pragmatics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
However, this is not how things turn out in Bob's 2D model. ...
The key to this not-too-ambitious form of two-dimensionalism is its fidelity to Kripke's insight that we understand possibilities in terms of the objects and properties we find in the world. ...
Standardly, when agents understand S, the utterance will count as an assertion of the proposition p that S semantically expresses, provided that uncertainty about which world-state obtains doesn't prevent ...
doi:10.1093/acprof:oso/9780199251520.003.0010
fatcat:cw6xxvmik5dm7naomoia6odkje
Using Conceptual Graphs to Represent Agent Semantic Constituents
[chapter]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
This paper develops two agent knowledge bases in conceptual graph form, one using the KD45 underlying logical model for belief and one without any underlying logical model for belief. ...
Conceptual graphs are a flexible and extendable form of knowledge representation that is used to capture and represent semantic constituents of communications in a form that may be used by software agents ...
Kripke's insight was to show that these accessibility relations correspond to these formulas. ...
doi:10.1007/978-3-540-27769-9_22
fatcat:fet64bk6mbb3rhwffyiql7jcse
Foreword: Three-valued logics and their applications
2014
Journal of Applied Non-Classical Logics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Tin Perkov presents a semantics combining 4-valued logics with a Kripke-style semantics for intuitionistic logic, allowing him to characterize both classical validities and intuitionistic validities in ...
In her paper, Katrin Schulz too considers an extension of Stenning and van Lambalgen's approach to deal with nonmonotonicity and with the semantics of counterfactual conditionals more generally. ...
doi:10.1080/11663081.2014.909631
fatcat:da6igydlr5ehbhwxhxd6vp32tm
« Previous
Showing results 1 — 15 out of 243 results