1.1 Background 1.1. 1 Anaphora For a long time the study of meaning has been concerned
with single sentences. However, sentences seldom come in isolation. For one thing, they …

Many of the formalisms used in Attribute Value grammar are notational variants of
languages of propositional modal logic, and testing whether two Attribute Value Structures …

The guarded fragment and its extensions and subfragments are often considered as a
framework for investigating the properties of description logics. There are also other, some …

Over the past several years the computer science community seems to have lost interest in
dynamic logic and related systems somewhat. In the philosophical community, on the other …

We present a two-sorted algebra, called a Peirce algebra, of relations and sets interacting
with each other. In a Peirce algebra, sets can combine with each other as in a Boolean …

Relation algebra can be used to specify information systems and business processes. It was
used in practice in two large IT projects in the Dutch government. But which are the features …

Institute for Logic, Language and Computation Page 1 Institute for Logic, Language and
Computation A SYSTEM OF DYNAMIC MODAL, LOGIC Maarten de Rijke ILLC …

In this paper I establish a link between Kl-one-based knowledge representation concerned
with terminological representation and the work of P. Suppes (1976, 1979, 1981) and M …

A new approach to the semantics of description logics, using concept algebras, was
introduced in [Dionne et al., 1992b]. In that approach, the terms of a description logic, ie …

In many logics dealing with information one needs to make statements not only about
cognitive states, but also about transitions between them. In this paper we analyze a …