P In the last century developments in mathematics, philosophy, physics, computer science, econom...
P A spatial logic is a formal language interpreted over any class of structures featuring geomet...
Games, Norms, and Reasons: Logic at the Crossroads provides an overview of modern logic fo...
Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logi...
This volume presents 38 classic texts in formal epistemology, and strengthens the ties between...
Frontmatter -- Table of Contents -- Preface -- Generalized Quantifiers and Traditional Logic Ei...
This book develops a view of logic as a theory of information-driven agency and intelligent inter...
Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and i...
Recent developments in the semantics of natural language seem to lead to a genuine synthesis of i...
The aim of this handbook is to create, for the first time, a systematic account of the field of s...
Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and i...
Strategic behavior is the key to social interaction, from the ever-evolving world of living being...