Results 241 to 250 of about 41,655,511 (287)

Dynamic Semantics [PDF]

open access: yes, 2017
This article focuses on foundational issues in dynamic and static semantics, specifically on what is conceptually at stake between the dynamic framework and the truth-conditional framework, and consequently what kinds of evidence support each framework. The article examines two questions. First, it explores the consequences of taking the proposition as
Karen S Lewis
exaly   +7 more sources

Dynamic structural operational semantics

open access: yesJournal of Logical and Algebraic Methods in Programming, 2019
We introduce Dynamic SOS as a framework for describing semantics of programming languages that include dynamic software upgrades, for upgrading software code during run-time. Dynamic SOS (DSOS) is built on top of the Modular SOS of P. Mosses, with an underlying category theory formalization.
Kim Christian Johansen, Olaf Owe
exaly   +8 more sources

Dynamic Semantics of Plurals DPL

open access: yesElectronic Notes in Theoretical Computer Science, 2002
AbstractThis paper proposes a dynamic semantics of plurals, DPL⊛Q, that is an extension of DPL [8] by adding binary generalized quantifiers, plural terms with join-operators as in Link [17]'s semilattice semantics of plurals, dynamic selectors, dynamic distributors and division functions. DPL⊛Q provides a formalism for handling dependent plurals, bound
Norihiro Ogata
exaly   +2 more sources
Some of the next articles are maybe not open access.

Related searches:

Sly Pete in Dynamic Semantics

Journal of Philosophical Logic, 2022
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +4 more sources

On Dependent Pronouns and Dynamic Semantics

Journal of Philosophical Logic, 2006
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Rick W.F. Nouwen
exaly   +5 more sources

Home - About - Disclaimer - Privacy