AMOR PLURAL

AMOR – Towards Adaptable Model Versioning

The development of complex software systems requires appropriate abstraction mechanisms in terms of model-driven engineering techniques (MDE) and proper support for allowing developers to work in parallel in terms of version control systems (VCSs). For realizing the vision of MDE, a bundle of standards has been made available recently, whereas the versioning of models has not gained the necessa...

Plural Predication

My thesis consists of three self-contained but interconnected papers. In the first one, 'Word and Objects', I assume that it is possible to quantify over absolutely everything, and show that certain English sentences containing collective predicates resist paraphrase in first-order languages and even in first-order languages enriched with plural quantifiers. To capture such sentences I develop ...

Amor and Psyche; a growing relationship?

Two interesting studies on the brain-heart connection were recently presented. At the 12th Annual Spring Meeting on Cardiovascular Nursing of the European Society of Cardiology (ESC) in Copenhagen, Denmark (16/17 March, 2012), Nikki Damen, a PhD student at Tilburg University, reported that patients who are depressed after coronary artery stenting have a worse prognosis. The authors reported tha...

Plural Quantification and Classes

A plural resolution logic

This paper presents an integration of centering theory ([GJW95]) into incremental dynamic logic. The formalism is based on an idea found in [vE00a], where contexts are permutable in order to model salience. Building on this idea, centering theory is restated as a formalism on contexts. Subsequently the system is used to consider some problems centering theory has once plurality is taken into ac...