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

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

The logical study of language is becoming more interdisciplinary, playing a role in fields such a...

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

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

Information is a recognized fundamental notion across the sciences and humanities, which is cruci...

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