In recent years there has been an increasing use of logical methods and significant new developments have been spawned in several areas of computer science, ranging from artificial intelligence and software engineering to agent-based systems and the semantic web. In the investigation and application of logical methods there is a tension between: * the need for a representational language strong enough to express domain knowledge of a particular application, and the need for a logical formalism general enough to unify several reasoning facilities relevant to the application, on the one hand,...

This book studies Talmudic temporal logic and compares it with the logic of time in contemporary law. Following a general introduction about the logical handling of time, the book examines several key Talmudic debates involving time. The book finds that we need multi-dimensional temporal models with backward causation and parallel histories. It seems that two major issues are involved: 1 Actions conditional about future actions (Tenayim), connecting with backward causality 2 Actions involving entities defined using future events (Breira), connecting with ideas from quantum Mechanics The book...

The Handbook of Deontic Logic and Normative Systems presents a detailed overview of the main lines of research on contemporary deontic logic and related topics. Although building on decades of previous work in the field, it is the first collection to take into account the significant changes in the landscape of deontic logic that have occurred in the past twenty years. These changes have resulted largely, though not entirely, from the interaction of deontic logic with a variety of other fields, including computer science, legal theory, organizational theory, economics, and linguistics. This...

The Handbook of Deontic Logic and Normative Systems presents a detailed overview of the main lines of research on contemporary deontic logic and related topics. Although building on decades of previous work in the field, it is the first collection to take into account the significant changes in the landscape of deontic logic that have occurred in the past twenty years. These changes have resulted largely, though not entirely, from the interaction of deontic logic with a variety of other fields, including computer science, legal theory, organizational theory, economics, and linguistics. This...

This book deals with a problem that has been discussed quite a lot, both in the academic and the halachic literature, the problem of partitioning. The fundamental and well-known partition problem in the Talmud is the partition of lost property ("Two hold a garment") found in Baba Metzia 2a, and its generalisation ("n hold a garment"). The Talmud also deals with the problem of division of the estate of a deceased among creditors in Ketubot 93a.

Our aim is to organise previous work, give a complete picture of the domain and add our original work. We specify what the basic assumptions...

The IfColog Journal of Logics and their Applications covers all areas of pure and applied logic, broadly construed. This Journal is open access, and available in both printed and electronic formats. It is published by College Publications, on behalf of IfCoLoG (www.ifcolog.net).