An important aspect in the formalisation of common-sense reasoning is the construction of a model...

Lambda Calculi: A GuideInterpolation and DefinabilityDiscourse Representation Theory

It is with great pleasure that we are presenting to the community the second edition of this extr...

It is with great pleasure that we are presenting to the community the second edition of this extr...

logics databases modality Algorithmic Discourse rep­ New logics. Generaltheory Proceduralap­ proo...

It is with great pleasure that we are presenting to the community the second edition of this extr...

The notion of negation is one of the central logical notions. It has been studied since antiquity...

The chapters in the present volume go beyond 'classical' extensional logic with respect to one im...

Agents act on the basis of their beliefs and these beliefs change as they interact with other age...

such questions for centuries (unrestricted by the capabilities of any hard­ ware). The principles...

From the point of view of non-classical logics, Heyting's implication is the smallest implication...

This is an overview of the current state of knowledge along with open problems and perspectives, ...