Approaches to Legal Rationality explores the most pertinent approaches to rationality in a legal context, and grapples with the relationship between logic and law. More than a collection of papers, the text includes chapters written from both analytical and continental philosophical perspectives.

Modern applications of logic, in mathematics, theoretical computer science, and linguistics, require combined systems involving many different logics working together. This book offers a basic methodology for combining - or fibring - systems so existing complex systems can be broken down into simpler components, making them easier to manipulate.

This work introduces a new unifying framework for logics which makes it particularly suitable for applications. It develops its general theory and illustrates it with applications in logic, computer science, artificial intelligence, and philosophy.

BL Internationally renowned contributors including Kosta Dosen, Solomon Feferman, Neil Tennent, and Robert Kowalski A collection of papers addressing the fundamental question what is a logical system? This book presents a wide spectrum of ideas on the problem, reflecting curent mainstream approaches to logic and its applications.

Psychology is the study of thinking, and cognitive science is the interdisciplinary investigation of mind and intelligence that also includes philosophy, artificial intelligence, neuroscience, linguistics, and anthropology. This book illuminates the nature of the theories and explanations used in the investigation of minds.

Provides detailed and comprehensive chapters covering the range of modal logic. This title contains the scholarly discoveries and interpretative insights that answer various questions in the field of logic. It is intended for those interested in the development of logic, including researchers, graduate and senior undergraduate students in logic.

Deals with approaches to handling contradictory information. This volume is suitable for students, researchers and practitioners in artificial intelligence, software engineering, logic, language and philosophy.

This book covers general logical tools for handling change. The tools are preferential reasoning, theory revision and reasoning in inheritance systems. Logics examined are nonmonotonic, deontic, modal, intuitionistic and temporal as well as counterfactuals.

Contains major contributions on Systems of Deduction, Alternatives to Standard First-order Semantics, Algebraic Logic, Basic and Advanced Many-valued Logic. This work is suitable for students and researchers whose work or interests involve philosophical logic and its applications.

Features a monograph on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where logic is applied, especially computer science, artificial intelligence, logic programming, philosophy of science and natural language.

Contains major contributions on Rewriting Logic as a Logical and Semantic Framework, Logical Frameworks, Proof Theory and Meaning, Goal Directed Deductions, Completeness and Consistency as well as Logic as General Rationality. This book is aimed at students and researchers whose work or interests involve philosophical logic and its applications.

This handbook surveys the computational and algorithmic problems of systems of applied reasoning. The various theoretical and modelling aspects of defeasible reasoning were dealt with in the first four volumes, and this volume now turns to the algorithmic aspect.

Features a methodology for automated deduction in non-classical logics. In this book, the methodology is applied to a range of non-classical systems, covering intuitionistic, intermediate, modal and substructural logics. It can also be used as an introduction to these logical systems from a procedural perspective.

This work addresses aspects of the interdisciplinary area of practical reasoning in artificial intelligence, philosophy, psychology, linguistics, software engineering, intelligent systems, and industrial applications. Among the topics addressed are user modelling, belief, and legal reasoning.