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

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

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

Modern logic is an active agent all across the university today, connecting disciplines, and tran...

A comprehensive examination of the interfaces of logic, computer science, and game theory, drawin...