Results 121 to 130 of about 511,372 (153)
Some of the next articles are maybe not open access.
Network semantics of dynamical systems
2015 54th IEEE Conference on Decision and Control (CDC), 2015Dynamical systems enjoy a rich variety of mathematical representations, from interconnections of convolution operators or rational functions of a complex variable to systems of (possibly stochastic) differential or differential-algebraic equations. Although many of these representations can describe the same behavior, i.e.
Vasu Chetty, Sean Warnick
openaire +1 more source
A Denotational Semantics for Dynamic Architectures
2019 International Symposium on Theoretical Aspects of Software Engineering (TASE), 2019With the emergence of mobile and adaptive computing, dynamic architectures have become increasingly important. In such architectures, components can appear and disappear, and connections between them can change over time. Verification of such architectures is performed over the composition of its components, which is usually defined in an operational ...
openaire +1 more source
Imperative Negation and Dynamic Semantics
2003The philosophical thesis that is defended in this paper is the thesis that an atomic sentence and its negation belong to the same category. In the case of imperatives, the thesis implies that an imperative and its negation are equipotent with respect to their binding force and layers of informational content.
openaire +1 more source
Two theories of dynamic semantics
1991The dynamic view on the semantics of natural language, though stemming already from the seventies, has developed into a widely studied subject in the second half of the eighties. At present, the unification of various dynamic theories constitutes an important issue. In this paper, two theories are compared, viz.
Groenendijk, J.A.G., Stokhof, M.J.B.
openaire +2 more sources
Dynamic semantics and circular propositions
Journal of Philosophical Logic, 1994The paper applies the technique of update semantics [see, e.g., \textit{J. van Benthem}, ``General dynamics'', Theor. Linguist. 17, No. 1-3, 159-201 (1991; Zbl 0743.03019)] to the Austinian semantics of \textit{J. Barwise} and \textit{J. Etchemendy} [The liar: an essay on truth and circularity (1987; Zbl 0678.03001)] in order to throw further light on ...
openaire +3 more sources
A Dynamic Semantics of Modal Subordination
2006This paper will propose a dynamic semantics of quantified modal logic based on the theory of System Transition Systems, which are abstract objects modeling “Kripke models of Kripke models” or graph rewriting systems, by exlpoiting the theory of coalgebras in order to treat modal subordination as a Kripke model change, which requires no ad-hoc informal ...
openaire +1 more source
A Dynamic Semantics of Intentional Identity
2007This paper will propose a new version of Dynamic Modal Predicate Logic (DMPL) to treat dynamics of intentional identity [1] and other similar notions such as weak intentional identity and multiple intentional identity by revising the DMPL of modal subordination [2] by adding a kind of counterpart relation.
openaire +1 more source
Towards the Dynamic Semantic Web
2008The Semantic Web is emerging as the future platform for computation. The ability to represent information, its structure and some of its semantics in a canonical form that is readable and understandable by machine forms the key infrastructure for truly ubiquitous computing.
openaire +1 more source