Results 61 to 70 of about 24,570,426 (223)

The determination of what is said and what is implied

Mind &Language, EarlyView.
Is what is said determined by syntax, conventional meaning, and select aspects of context? This thesis—semanticity—seems plausible because what is said can diverge from both what the speaker means and what the addressee understands, and because ordinary speakers know what is said when presented with a novel sentence‐context pair.
Victor Tamburini
wiley   +1 more source

Computing (bi)simulation relations preserving CTL*x. for ordinary and fair Kripke structures.

Труды Института системного программирования РАН, 2007
The main goal of model checking is to verify whether a model of a given program satisfies some given specification. In this paper models are regarded as fair or ordinary Kripke structures whereas specifications are represented by formulae branching-time ...
P.E. Bulychev, I.V. Konnov, V.A. Zakharov   +2 more
doaj  

A step-indexed Kripke model of hidden state [PDF]

Mathematical Structures in Computer Science, 2012
Frame and anti-frame rules have been proposed as proof rules for modular reasoning about programs. Frame rules allow the hiding of irrelevant parts of the state during verification, whereas the anti-frame rule allows the hiding of local state from the context.We discuss the semantic foundations of frame and anti-frame rules, and present the first sound
Schwinghammer, Jan, Birkedal, Lars, Pottier, François, Reus, Bernhard, Støvring, Kristian, Yang, Hongseok   +5 more
openaire   +3 more sources

Perceiving Particulars

Noûs, EarlyView.
ABSTRACT Causalists contend that you see a specific object (rather than a lookalike, or no object at all) because that object sits at the beginning of an appropriate causal chain that terminates in your visual experience. We argue that neither standard causalists nor their non‐causalist opponents can adequately accommodate a striking asymmetry between ...
Dominic Alford‐Duguid, Umrao Sethi
wiley   +1 more source

Pulling Down the Hierarchy

Pacific Philosophical Quarterly, EarlyView.
ABSTRACT This paper is about the hierarchy view: that each word has infinitely many meanings, arranged into levels, with the level n meaning serving as its semantic value when it occurs embedded to degree n in indirect or attitude reporting verbs. Departing from the famous debates over the bare tenability of the hierarchy view, I focus on whether there
Mark McCullagh
wiley   +1 more source

A symbolic model checking approach in formal verification of distributed systems

Human-Centric Computing and Information Sciences, 2019
Model checking is an influential method to verify complex interactions, concurrent and distributed systems. Model checking constructs a behavioral model of the system using formal concepts such as operations, states, events and actions.
A. Souri, A. Rahmani, N. Navimipour, R. Rezaei   +3 more
semanticscholar   +1 more source

Now, Again and Again: The Metaphysics of Many Presents

Pacific Philosophical Quarterly, EarlyView.
ABSTRACT This paper discusses whether there can be multiple present moments. After presenting some reasons for thinking that the question is worthwhile, I challenge several objections to its possibility: worries about the exclusivity of tense; the nature of change, tense logic and semantics; and the apparent tension between multiple presents and an ...
Nikk Effingham
wiley   +1 more source

Semantic Consistency Checking in Building Ontology from Heterogeneous Sources

Journal of Applied Mathematics, 2014
Semantic collision is inevitable while building a domain ontology from heterogeneous data sources (semi-)automatically. Therefore, the semantic consistency is indispensable precondition for building a correct ontology.
Shihan Yang, Hongyan Tan, Jinzhao Wu
doaj   +1 more source

Bisimulation in Inquisitive Modal Logic [PDF]

Electronic Proceedings in Theoretical Computer Science, 2017
Inquisitive modal logic, InqML, is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are ...
Ivano Ciardelli, Martin Otto
doaj   +1 more source

Contingent Grounding Physicalism

Analytic Philosophy, EarlyView.
ABSTRACT It is widely held that physicalism is incompatible with the metaphysical possibility of zombies, i.e., beings physically just like us yet lacking in phenomenal consciousness. The present paper argues that this orthodoxy is mistaken. As against the received wisdom, physicalism is perfectly compatible with the possibility of zombies and zombie ...
Alex Moran
wiley   +1 more source