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

A systematic study of information dynamics that extends beyond what is found in standard logic te...

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

In the last century developments in mathematics, philosophy, physics, computer science, economics...

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

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

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

This book presents logic as a way to identify all information processes that drive human action.

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

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

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

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