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...

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

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

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

Belief Revision Refutation  and systems in Propositional Logic. A Quantifier Scope in Formal Ling...