This book constitutes the proceedings of the 8th International and Interdisciplinary Conference o...

On the Right Path: A Modal Logic for Supervised Learning.- Elementary Iterated Revision and the L...

Whetheryouareacomputerscientist,alogician,aphilosopher,orapsychologist, it is crucial to understa...

O Prolog é uma linguagem de programação, mas uma linguagem pouco usual. A designação 'Prolog'' é ...

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