Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and i...

That philosophical themes could be studied in an exact manner by logical meanS was a delightful d...

The subject of Time has a wide intellectual appeal across different dis­ ciplines. This has shown...

Games, Norms, and Reasons: Logic at the Crossroads provides an overview of modern logic focusing ...

This is the first of two volumes comprising the paperssubmitted for publication by the invited ...

This book gives a state-of-the-art survey of current researchin logic and philosophy of science...

A spatial logic is a formal language interpreted over any class of structures featuring geometric...

This monograph grew out of research at Xerox PARC and the Center for the Study of Language and In...

Recent developments in the semantics of natural language seem to lead to a genuine synthesis of i...

Strategic behavior is the key to social interaction, from the ever-evolving world of living being...

This volume presents 38 classic texts in formal epistemology, and strengthens the ties between re...

This book develops a view of logic as a theory of information-driven agency and intelligent inter...