This is the second volume in a series of well-respected works in temporal science and is by the same authors as the first. Volume one dealt primarily with basic concepts and methods, volume two discuses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations from volume one, covering automata, branching time and labelled deduction. The rest of the book is devoted to discussions of temporal databases, temporal execution and programming, actions and planning. With its inclusion of cutting-edge results and unifying methodologies, this...

Logic is now widely recognized as one of the foundational disciplines of computing, and its applications reach almost every aspect of the subject, from software engineering and hardware to programming languages and AI. The Handbook of Logic in Computer Science is a multi-volume work covering all the major areas of application of logic to theoretical computer science. The handbook comprises six volumes, each containing five or six chapters giving an in-depth overview of one of the major topics in field. It is the result of many years of cooperative effort by some of the most eminent frontline...

This important book provides a new unifying methodology for logic. It replaces the traditional view of logic as manipulating sets of formulas with the notion of structured families of labelled formulas with algebraic structures. This approach has far reaching consequences for the methodology of logics and their semantics, and the book studies the main features of such systems along with their applications. It will interest logicians, computer scientists, philosophers and linguists.

Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines. Celebrated for their good computational behaviour, modal logics are used as effective formalisms for talking about time, space, knowledge, beliefs, actions, obligations, provability, etc. However, the nice computational properties can drastically change if we combine some of these formalisms into a many-dimensional system, say, to reason about knowledge bases developing in time or moving...

This volume concerns philosophical issues that arise from the practice of anthropology and sociology. The essays cover a wide range of issues, including traditional questions in the philosophy of social science as well as those specific to these disciplines. Authors attend to the historical development of the current debates and set the stage for future work.

- Comprehensive survey of philosophical issues in anthropology and sociology
- Historical discussion of important debates
- Applications to current research in anthropology and sociology

Philosophy of Biology is a rapidly expanding field. It is concerned with explanatory concepts in evolution, genetics, and ecology. This collection of 25 essays by leading researchers provides an overview of the state of the field. These essays are wholly new; none of them could have been written even ten years ago. They demonstrate how philosophical analysis has been able to contribute to sometimes contested areas of scientific theory making.

-Written by internationally acknowledged leaders in the field
- Entries make original contributions as well as summarizing state of the art...

Logic and the Modalities in the Twentieth Century is an indispensable research tool for anyone interested in the development of logic, including researchers, graduate and senior undergraduate students in logic, history of logic, mathematics, history of mathematics, computer science and artificial intelligence, linguistics, cognitive science, argumentation theory, philosophy, and the history of ideas.
This volume is number seven in the eleven volume Handbook of the History of Logic. It concentrates on the development of modal logic in the 20th century, one of the most important undertakings...

The present volume of the Handbook of the History of Logic brings together two of the most important developments in 20th century non-classical logic. These are many-valuedness and non-monotonicity. On the one approach, in deference to vagueness, temporal or quantum indeterminacy or reference-failure, sentences that are classically non-bivalent are allowed as inputs and outputs to consequence relations. Many-valued, dialetheic, fuzzy and quantum logics are, among other things, principled attempts to regulate the flow-through of sentences that are neither true nor false. On the second, or...

The present work is a continuation of the authors' acclaimed multi-volume A
Practical Logic of Cognitive Systems. After having investigated the notion of
relevance in their previous volume, Gabbay and Woods now turn to abduction. In
this highly original approach, abduction is construed as ignorance-preserving
inference, in which conjecture plays a pivotal role. Abduction is a response to a
cognitive target that cannot be hit on the basis of what the agent currently knows.
The abducer selects a hypothesis which were it true would enable the reasoner to attain his target. He...

Since its inception in the famous 1936 paper by Birkhoff and von Neumann entitled "The logic of quantum mechanics" quantum logic, i.e. the logical investigation of quantum mechanics, has undergone an enormous development. Various schools of thought and approaches have emerged and there are a variety of technical results.

Quantum logic is a heterogeneous field of research ranging from investigations which may be termed logical in the traditional sense to studies focusing on structures which are on the border between algebra and logic. For the latter structures the term quantum structures...