The papers presented in this volume examine topics of central interest in contemporary philosophy of logic. They include reflections on the nature of logic and

such questions for centuries (unrestricted by the capabilities of any hard ware). The principles governing the interaction of several processes, for example, ar

The ninth volume of the Second Edition contains major contributions on Rewriting Logic as a Logical and Semantic Framework, Logical Frameworks, Proof Theory and

Covers the state of the art in the philosophy of maths and logic, giving the reader an overview of the major problems, positions, and battle lines. The chapters

This volume presents a definitive introduction to twenty core areas of philosophical logic including classical logic, modal logic, alternative logics and close