7988 search results - page 223 / 1598 » A Useful Undecidable Theory |
142
click to vote
JSYML
2002
15 years 4 months ago
2002
A propositional system of modal logic is second-order if it contains quantifiers p and p, which, in the standard interpretation, are construed as ranging over sets of possible worl...
124
click to vote
TCS
2002
15 years 4 months ago
2002
The new Associative Language Description (ALD) model, a combination of locally testable and constituent structure ideas, is proposed, arguing that in practice it equals context-fr...
155
click to vote
JSC
2010
15 years 2 months ago
2010
We study the problem of deciding whether two ontologies are inseparable w.r.t. a signature Σ, i.e., whether they have the same consequences in the signature Σ. A special case is...
127
click to vote
MFCS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In this paper we discuss the computational power of Lipschitz dynamical systems which are robust to infinitesimal perturbations. Whereas the study in [1] was done only f...
152
click to vote
FSTTCS
2010
Springer
15 years 2 months ago
2010
Springer
We consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, we use message sequence charts (MSCs) annotated with ...