Results 71 to 80 of about 20,953 (186)
(Co‐)Reference All the Way Down: A Unified Theory of (Pro) Nominals in Ordinary English
Theoria, EarlyView.ABSTRACT This essay joins two themes, both arising from Kripke's inspiring ideas in the theory of reference. The first theme concerns reference in general. The second examines the notion of co‐reference and the role it plays in a unified theory of pronouns for natural language.
Jessica Pepp, Joseph Almog
wiley +1 more source
A context dependent equivalence relation between Kripke structures [PDF]
, 1991 In [BCG87] Browne, Clarke and Grumberg define a bisimulation relation on Kripke structure and give a characterization of this equivalence relation in temporal logic. We will generalize their results to reactive systems, which are modelled by Kripke structures together with some constraints describing some requirements how the environment has to ...
openaire +1 more source
Theoria, EarlyView.ABSTRACT Contemporary epistemologists analysing knowledge take (true) propositions to be the object of knowledge. In this paper, I provide an argument for the claim that the object of knowledge is, in fact, the world. The propositions in propositional knowledge ascriptions merely describe the part of the world of which the subject is aware. Kent Bach's
Tess Dewhurst
wiley +1 more source
On the Verification of Weighted Kripke Structures Under Uncertainty [PDF]
, 2018 We study the problem of checking weighted CTL properties for weighted Kripke structures in presence of imprecise weights. We consider two extensions of the notion of weighted Kripke structures, namely (i) parametric weighted Kripke structures, having transitions weights modelled as affine maps over a set of parameters and, (ii) weight-uncertain Kripke ...
Bacci, Giovanni; id_orcid 0000-0001-8529-0681 +2 more
openaire +2 more sources
Determined Proper Nouns in Rioplatense Spanish express interpersonal proximity
Borealis: An International Journal of Hispanic LinguisticsFollowing the referentialist view on proper nouns, based on Kripke (1980), they are expressions of type , pointing out to entities directly, without providing a description of those entities (cf.
Carolina Oggiani, Ana Aguilar Guevara
doaj +1 more source
Scientific Realism without Rigid Designation in Kant's Analogies [PDF]
, 2016 In Kant, Science, and Human Nature, Robert Hanna argues against a version of scientific realism founded on the Kripke/Putnam theory of reference, and defends a Kant-inspired manifest realism in its place. I reject Kriple/Putnam for different reasons than
Landy, David
core
Separating the Fan Theorem and Its Weakenings
, 2014 Varieties of the Fan Theorem have recently been developed in reverse constructive mathematics, corresponding to different continuity principles. They form a natural implicational hierarchy.
Diener, Hannes, Lubarsky, Robert S.
core +1 more source
A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic
COMPUTING AND INFORMATICS, 2009 We extend the usual notion of Kripke Structures with a weighted transition relation, and generalize the usual Boolean satisfaction relation of CTL to a map which assigns to states and temporal formulae a real-valued distance describing the degree of satisfaction.
Larsen, Kim G. +2 more
openaire +6 more sources
The Past and Future of Meaning
The Baltic International Yearbook of Cognition, Logic and Communication, 2010 For many centuries, a predominant view of meaning was that the meaning of a word is some kind of chunk of mind-stuff ("idea") glued to the word and animating it. However, while the traditional view was that we must first understand meaning, which enables
Jaroslav Peregrin
doaj +1 more source
Generalized Strong Preservation by Abstract Interpretation
, 2006 Standard abstract model checking relies on abstract Kripke structures which approximate concrete models by gluing together indistinguishable states, namely by a partition of the concrete state space.
Ranzato, Francesco, Tapparo, Francesco
core +4 more sources