This book constitutes the refereed proceedings of the Second International Conference on Multilin...

Intensional logic has emerged, since the 1960' s, as a powerful theoretical and practical tool in...

This volume contains a selection of papers presented at a Seminar on Intensional Logic held at th...

This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer ...

This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer ...

In its ?rst ten years of activities (2000-2009), the Cross-Language Evaluation Forum (CLEF) playe...

This book constitutes the proceedings of the 36th European Conference on IR Research, ECIR 2014, ...

This book constitutes the thoroughly refereed postproceedings of the 7th Workshop of the Cross-La...

The sixth campaign of the Cross Language Evaluation Forum (CLEF) for European languages was held ...

Advances in Modal Logic is a unique forum for presenting the latest results and new directions of...

This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer ...