Handbook of Philosophical Logic

Volume 18

  • Dov M. Gabbay
  • Franz Guenthner

Part of the Handbook of Philosophical Logic book series (HALO, volume 18)

Table of contents

  1. Front Matter
    Pages i-xiii
  2. Johan Van Benthem, Fenrong Liu
    Pages 1-49
  3. Henri Prade, Gilles Richard, Dov M. Gabbay, Franz Guenthner
    Pages 51-103
  4. Richmond H. Thomason, Dov M. Gabbay, Franz Guenthner
    Pages 105-132
  5. M. Abraham, D. M. Gabbay, U. Schild, Dov M. Gabbay, Franz Guenthner
    Pages 133-373
  6. Back Matter
    Pages 375-377

About this book


This eighteenth volume of the acclaimed Handbook of Philosophical Logic includes many contributors who are among the most famous leading figures of applied philosophical logic of our time. Coverage includes deontic logic, practical reasoning, homogeneous and heterogeneous logical proportion, and talmudic logic. Overall, it will appeal to students, practitioners, and researchers looking for an authoritative resource in these areas.

The contributors first explore models in terms of dynamic logics for information-driven agency. The paradigm they use is dynamic-epistemic logics for knowledge and belief and their current extensions to the statics and dynamics of agents’ preferences. Next, in the presentation of preference based agency, coverage examines a large number of themes, including interactive social agents and scenarios with long term patterns emerging over time. From here, the book moves on to offer an introduction to homogeneous and heterogeneous logical proportions.

Readers will also learn more about the general challenge that the problem of formalizing practical reasoning presents to logical theory. The contributors survey the existing resources that might contribute to the development of such a formalization. They conclude that, while a robust, adequate logic of practical reasoning is not yet in place, the materials for developing such a logic are now available.

The last chapter explores topics that deal with the logic of Jewish law and the logic of the Talmud. This includes obligations and prohibitions in Talmudic deontic logic, the handling of loops in Talmudic logic, Temporal Talmudic logic, and quantum states and disjunctive attacks in Talmudic logic. The Talmudic logic system presented are also exported to general logic and to Artificial Intelligence.


Deontic Logic Homogeneous and Heterogeneous Logical Proportion Practical Reasoning Talmudic Logic Deontic notions Philosophical Logic Non-classical Logics logic of Jewish law deontic logic formalizing practical reasoning

Editors and affiliations

  • Dov M. Gabbay
    • 1
  • Franz Guenthner
    • 2
  1. 1.Department of Computer ScienceKing's College LondonLondonUK
  2. 2.Centrüm für Informations- und SprachveraUniversity of MunichMunichGermany

Bibliographic information