Results 71 to 80 of about 11,543 (183)
Labelled transition systems as a Stone space [PDF]
Logical Methods in Computer Science, 2005 A fully abstract and universal domain model for modal transition systems and refinement is shown to be a maximal-points space model for the bisimulation quotient of labelled transition systems over a finite set of events.
Michael Huth
doaj +1 more source
Extensional Denotational Semantics of Higher-Order Probabilistic Programs, Beyond the Discrete Case [PDF]
, 2021 Guillaume Geoffroy
openalex +1 more source
Polysemy and roots: Deep versus shallow fetching
Mind &Language, Volume 40, Issue 5, Page 472-491, November 2025.The paper argues for a model of polysemy based on the blueprint offered by Paul Pietroski whereby the meaning of a lexical item is an instruction to fetch a concept from an address. We show that the bare idea of fetching admits of a deep construal, where a concept is fetched, and a shallow construal, where the instruction merely links a lexical item to
John Collins, Tamara Dobler
wiley +1 more source
Similarity Assessment of the Engineering Concepts: Decision‐Making Support and Metrics
Systems Engineering, Volume 28, Issue 5, Page 628-639, September 2025.ABSTRACT The new product development (NPD) process is a systematic approach to bring new products and innovations to market. Nowadays, this process is affected by a number of influencing factors associated with the fast‐paced technological changes. One of those factors is the distributed design nature of product development activities: team members are
Yaroslav Menshenin +3 more
wiley +1 more source
Service-Oriented Logic Programming [PDF]
Logical Methods in Computer Science, 2015 We develop formal foundations for notions and mechanisms needed to support service-oriented computing. Our work builds on recent theoretical advancements in the algebraic structures that capture the way services are orchestrated and in the processes that
Ionut Tutu, Jose Luiz Fiadeiro
doaj +1 more source
Displacement and quantification without representation
Mind &Language, Volume 40, Issue 4, Page 418-436, September 2025.Perry and Recanati have argued that thought and speech can concern entities that they do not represent. This is possible because speakers and thinkers are pragmatically situated within their environs. I argue that thought and speech can go much farther than that.
Mihnea Capraru
wiley +1 more source
In defense of value incomparability: A reply to Dorr, Nebel, and Zuehl
Noûs, Volume 59, Issue 3, Page 796-808, September 2025.Abstract Cian Dorr, Jacob Nebel, and Jake Zuehl have argued that no objects are incomparable in value. One set of arguments they offer depart from a principle they call ‘Strong Monotonicity’, which states that if x is good and y is not good, then x is better than y.
Erik Carlson, Olle Risberg
wiley +1 more source
Divergence and unique solution of equations [PDF]
Logical Methods in Computer Science, 2019 We study proof techniques for bisimilarity based on unique solution of equations. We draw inspiration from a result by Roscoe in the denotational setting of CSP and for failure semantics, essentially stating that an equation (or a system of equations ...
Adrien Durier +2 more
doaj +1 more source
Iconic Words Are Associated With Iconic Gestures
Cognitive Science, Volume 49, Issue 8, August 2025.Abstract Iconicity ratings studies have established that there are many English words which native speakers judge as “iconic,” that is, as sounding like what they mean. Here, we explore whether these iconic English words are more likely to be accompanied by iconic gestures.
Ell Wilding +3 more
wiley +1 more source
Conjoined Comparison and Variation in Degree Semantics
Language and Linguistics Compass, Volume 19, Issue 4, July/August 2025.ABSTRACT Conjoined comparisons, consisting of two clauses containing antonymous or positive‐negative predicate pairs, are among the most common comparison construction types in the world's languages. As research on degree constructions from a cross‐linguistic perspective has increased, so too has the number of studies focused on conjoined comparisons ...
M. Ryan Bochnak
wiley +1 more source