Gabbay, Dov M. 1945
Overview
Works:  492 works in 2,169 publications in 4 languages and 30,528 library holdings 

Genres:  Conference papers and proceedings History Handbooks and manuals 
Roles:  Author, Editor, Other, Honoree, htt, Creator, ed, 340, Contributor 
Publication Timeline
.
Most widely held works by
Dov M Gabbay
Interactive logic : selected papers from the 7th Augustus de Morgan workshop, London by
Johan van Benthem(
)
16 editions published between 2007 and 2008 in English and Dutch and held by 1,838 WorldCat member libraries worldwide
A collection of excellent research papers in logic, mathematics, computer science and game theory
16 editions published between 2007 and 2008 in English and Dutch and held by 1,838 WorldCat member libraries worldwide
A collection of excellent research papers in logic, mathematics, computer science and game theory
Handbook of logic in artificial intelligence and logic programming by
Dov M Gabbay(
)
23 editions published between 1998 and 2005 in English and German and held by 1,377 WorldCat member libraries worldwide
The Handbook of Logic in Artificial Intelligence and Logic Programming is a multivolume work covering all major areas of the application of logic to artificial intelligence and logic programming. The authors are chosen on an international basis and are leaders in the fields covered. Volume 5 is the last in this wellregarded series. Logic is now widely recognized as one of the foundational disciplines of computing. It has found applications in virtually all aspects of the subject, from software and hardware engineering to programming languages and artificial intelligence. In response to the growing need for an indepth survey of these applications the Handbook of Logic in Artificial Intelligence and its companion, the Handbook of Logic in Computer Science have been created. The Handbooks are a combination of authoritative exposition, comprehensive survey, and fundamental research exploring the underlying themes in the various areas. Some mathematical background is assumed, and much of the material will be of interest to logicians and mathematicians. Volume 5 focuses particularly on logic programming.; The chapters, which in many cases are of monograph length and scope, emphasize possible unifying themes
23 editions published between 1998 and 2005 in English and German and held by 1,377 WorldCat member libraries worldwide
The Handbook of Logic in Artificial Intelligence and Logic Programming is a multivolume work covering all major areas of the application of logic to artificial intelligence and logic programming. The authors are chosen on an international basis and are leaders in the fields covered. Volume 5 is the last in this wellregarded series. Logic is now widely recognized as one of the foundational disciplines of computing. It has found applications in virtually all aspects of the subject, from software and hardware engineering to programming languages and artificial intelligence. In response to the growing need for an indepth survey of these applications the Handbook of Logic in Artificial Intelligence and its companion, the Handbook of Logic in Computer Science have been created. The Handbooks are a combination of authoritative exposition, comprehensive survey, and fundamental research exploring the underlying themes in the various areas. Some mathematical background is assumed, and much of the material will be of interest to logicians and mathematicians. Volume 5 focuses particularly on logic programming.; The chapters, which in many cases are of monograph length and scope, emphasize possible unifying themes
Handbook of logic in computer science by
Thomas S. E Maibaum(
)
19 editions published between 1992 and 2000 in English and held by 1,351 WorldCat member libraries worldwide
V.1. Background, mathematical structures. v.2. Background, computational struct ures
19 editions published between 1992 and 2000 in English and held by 1,351 WorldCat member libraries worldwide
V.1. Background, mathematical structures. v.2. Background, computational struct ures
The functional interpretation of logical deduction by
Ruy J. G. B. de Queiroz(
)
12 editions published between 2011 and 2012 in English and held by 1,269 WorldCat member libraries worldwide
This comprehensive book provides an adequate framework to establish various calculi of logical inference. Being an 'enriched' system of natural deduction, it helps to formulate logical calculi in an operational manner. By uncovering a certain harmony between a functional calculus on the labels and a logical calculus on the formulas, it allows mathematical foundations for systems of logic presentation designed to handle metalevel features at the objectlevel via a labelling mechanism, such as the D Gabbay's Labelled Deductive Systems. The book truly demonstrates that introducing 'labels' is useful to understand the proofcalculus itself, and also to clarify its connections with modeltheoretic interpretations
12 editions published between 2011 and 2012 in English and held by 1,269 WorldCat member libraries worldwide
This comprehensive book provides an adequate framework to establish various calculi of logical inference. Being an 'enriched' system of natural deduction, it helps to formulate logical calculi in an operational manner. By uncovering a certain harmony between a functional calculus on the labels and a logical calculus on the formulas, it allows mathematical foundations for systems of logic presentation designed to handle metalevel features at the objectlevel via a labelling mechanism, such as the D Gabbay's Labelled Deductive Systems. The book truly demonstrates that introducing 'labels' is useful to understand the proofcalculus itself, and also to clarify its connections with modeltheoretic interpretations
Handbook of the history of logic by
Dov M Gabbay(
)
20 editions published in 2004 in English and held by 662 WorldCat member libraries worldwide
In designing the Handbook of the History of Logic, the Editors have taken the view that the history of logic holds more than an antiquarian interest, and that a knowledge of logic's rich and sophisticated development is, in various respects, relevant to the research programmes of the present day. Ancient logic is no exception. The present volume attests to the distant origins of some of modern logic's most important features, such as can be found in the claim by the authors of the chapter on Aristotle's early logic that, from its infancy, the theory of the syllogism is an example of an intuitionistic, nonmonotonic, relevantly paraconsistent logic. Similarly, in addition to its comparative earliness, what is striking about the best of the Megarian and Stoic traditions is their sophistication and originality
20 editions published in 2004 in English and held by 662 WorldCat member libraries worldwide
In designing the Handbook of the History of Logic, the Editors have taken the view that the history of logic holds more than an antiquarian interest, and that a knowledge of logic's rich and sophisticated development is, in various respects, relevant to the research programmes of the present day. Ancient logic is no exception. The present volume attests to the distant origins of some of modern logic's most important features, such as can be found in the claim by the authors of the chapter on Aristotle's early logic that, from its infancy, the theory of the syllogism is an example of an intuitionistic, nonmonotonic, relevantly paraconsistent logic. Similarly, in addition to its comparative earliness, what is striking about the best of the Megarian and Stoic traditions is their sophistication and originality
Neuralsymbolic cognitive reasoning by
Artur S D'Avila Garcez(
)
16 editions published between 2007 and 2009 in English and Undetermined and held by 500 WorldCat member libraries worldwide
"Humans are often extraordinary at performing practical reasoning. There are cases where the human computer, slow as it is, is faster than any artificial intelligence system. Are we faster because of the way we perceive knowledge as opposed to the way we represent it?" "The authors address this question by presenting neural network models that integrate the two most fundamental phenomena of cognition: our ability to learn from experience, and our ability to reason from what has been learned. This book is the first to offer a selfcontained presentation of neural network models for a number of computer science logics, including modal, temporal and epistemic logics. By using a graphical presentation, it explains neural networks through a sound neuralsymbolic integration methodology, and it focuses on the benefits of integrating effective robust learning with expressive reasoning capabilities."Jacket
16 editions published between 2007 and 2009 in English and Undetermined and held by 500 WorldCat member libraries worldwide
"Humans are often extraordinary at performing practical reasoning. There are cases where the human computer, slow as it is, is faster than any artificial intelligence system. Are we faster because of the way we perceive knowledge as opposed to the way we represent it?" "The authors address this question by presenting neural network models that integrate the two most fundamental phenomena of cognition: our ability to learn from experience, and our ability to reason from what has been learned. This book is the first to offer a selfcontained presentation of neural network models for a number of computer science logics, including modal, temporal and epistemic logics. By using a graphical presentation, it explains neural networks through a sound neuralsymbolic integration methodology, and it focuses on the benefits of integrating effective robust learning with expressive reasoning capabilities."Jacket
Handbook of quantum logic and quantum structures : quantum structures by
Kurt Engesser(
)
26 editions published between 2007 and 2014 in English and held by 493 WorldCat member libraries worldwide
"The chapters of this volume, which are authored by eminent scholars in the field, constitute a comprehensive presentation of the main schools, approaches and results in the field of quantum logic. Much of the material presented is of recent origin representing the frontier of the subject."BOOK JACKET
26 editions published between 2007 and 2014 in English and held by 493 WorldCat member libraries worldwide
"The chapters of this volume, which are authored by eminent scholars in the field, constitute a comprehensive presentation of the main schools, approaches and results in the field of quantum logic. Much of the material presented is of recent origin representing the frontier of the subject."BOOK JACKET
Proof theory for fuzzy logics by
George Metcalfe(
)
17 editions published in 2009 in English and held by 485 WorldCat member libraries worldwide
Fuzzy logics are manyvalued logics that are well suited to reasoning in the context of vagueness. This book focuses on the development and applications of 'prooftheoretic' presentations of fuzzy logics
17 editions published in 2009 in English and held by 485 WorldCat member libraries worldwide
Fuzzy logics are manyvalued logics that are well suited to reasoning in the context of vagueness. This book focuses on the development and applications of 'prooftheoretic' presentations of fuzzy logics
Logical tools for handling change in agentbased systems by
Dov M Gabbay(
)
17 editions published between 2009 and 2013 in English and held by 479 WorldCat member libraries worldwide
Agents act on the basis of their beliefs and these beliefs change as they interact with other agents. In this book the authors propose and explain general logical tools for handling change. These tools include preferential reasoning, theory revision, and reasoning in inheritance systems, and the authors use these tools to examine nonmonotonic logic, deontic logic, counterfactuals, modal logic, intuitionistic logic, and temporal logic. This book will be of benefit to researchers engaged with artificial intelligence, and in particular agents, multiagent systems and nonmonotonic logic
17 editions published between 2009 and 2013 in English and held by 479 WorldCat member libraries worldwide
Agents act on the basis of their beliefs and these beliefs change as they interact with other agents. In this book the authors propose and explain general logical tools for handling change. These tools include preferential reasoning, theory revision, and reasoning in inheritance systems, and the authors use these tools to examine nonmonotonic logic, deontic logic, counterfactuals, modal logic, intuitionistic logic, and temporal logic. This book will be of benefit to researchers engaged with artificial intelligence, and in particular agents, multiagent systems and nonmonotonic logic
Mathematical problems from applied logic II : logics for the XXIst century by
Dov M Gabbay(
)
22 editions published between 2006 and 2011 in English and held by 475 WorldCat member libraries worldwide
"Mathematical Problems from Applied Logic II" presents chapters from selected, world renowned, logicians. Important topics of logic are discussed from the point of view of their further development in light of requirements arising from their successful application in areas such as Computer Science and AI language. Fields covered include: logic of provability, applications of computability theory to biology, psychology, physics, chemistry, economics, and other basic sciences; computability theory and computable models; logic and spacetime geometry; hybrid systems; logic and regionbased theory of space. Contributors include: Sergei Artemov, USA; John Case, USA; Sergei Goncharov, Russia, Judit X. Madarsz, Istvn Nmeti, and Gergely, Szkely, Hungary, Anil Nerode, USA and Dimiter Vakarelov, Bulgaria
22 editions published between 2006 and 2011 in English and held by 475 WorldCat member libraries worldwide
"Mathematical Problems from Applied Logic II" presents chapters from selected, world renowned, logicians. Important topics of logic are discussed from the point of view of their further development in light of requirements arising from their successful application in areas such as Computer Science and AI language. Fields covered include: logic of provability, applications of computability theory to biology, psychology, physics, chemistry, economics, and other basic sciences; computability theory and computable models; logic and spacetime geometry; hybrid systems; logic and regionbased theory of space. Contributors include: Sergei Artemov, USA; John Case, USA; Sergei Goncharov, Russia, Judit X. Madarsz, Istvn Nmeti, and Gergely, Szkely, Hungary, Anil Nerode, USA and Dimiter Vakarelov, Bulgaria
Revision, acceptability and context : theoretical and algorithmic aspects by
Dov M Gabbay(
)
16 editions published between 2010 and 2013 in English and held by 474 WorldCat member libraries worldwide
An important aspect in the formalisation of commonsense reasoning is the construction of a model of what an agent believes the world to be like to help in her reasoning process. This model is often incomplete or inaccurate, but new information can be used to refine it. The study of techniques that achieve this in a rational way is the task of the discipline of belief revision, with which this book is concerned. There are three key elements to the book's approach. Firstly, the methodology of logic by translation. A specific instance of this is the idea of revision by translation. Revision for a foreign logic is done via its translation into a wellknown logic, usually classic logic. Secondly, the technique of metalevel/objectlevel movement, where we bring some operation defined at the metalevel of a logic into its object level. In this book, we bring the operation of deletion to the object level. Finally, through Labelled Deductive Systems, we use the context of the revision to finetune its operation and illustrate the idea through the presentation of various algorithms. The book is suitable for researchers and postgraduates in the areas of artificial intelligence, database theory, and logic
16 editions published between 2010 and 2013 in English and held by 474 WorldCat member libraries worldwide
An important aspect in the formalisation of commonsense reasoning is the construction of a model of what an agent believes the world to be like to help in her reasoning process. This model is often incomplete or inaccurate, but new information can be used to refine it. The study of techniques that achieve this in a rational way is the task of the discipline of belief revision, with which this book is concerned. There are three key elements to the book's approach. Firstly, the methodology of logic by translation. A specific instance of this is the idea of revision by translation. Revision for a foreign logic is done via its translation into a wellknown logic, usually classic logic. Secondly, the technique of metalevel/objectlevel movement, where we bring some operation defined at the metalevel of a logic into its object level. In this book, we bring the operation of deletion to the object level. Finally, through Labelled Deductive Systems, we use the context of the revision to finetune its operation and illustrate the idea through the presentation of various algorithms. The book is suitable for researchers and postgraduates in the areas of artificial intelligence, database theory, and logic
Conditionals and modularity in general logics by
Dov M Gabbay(
)
12 editions published between 2011 and 2013 in English and held by 460 WorldCat member libraries worldwide
"This text centers around three main subjects. The first is the concept of modularity and independence in classical logic and nonmonotonic and other nonclassical logic, and the consequences on syntactic and semantical interpolation and language change. In particular, we will show the connection between interpolation for nonmonotonic logic and manipulation of an abstract notion of size. Modularity is essentially the ability to put partial results achieved independently together for a global result. The second aspect of the book is the authors' uniform picture of conditionals, including manyvalued logics and structures on the language elements themselves and on the truth value set. The third topic explained by the authors is neighbourhood semantics, their connection to independence, and their common points and differences for various logics, e.g., for defaults and deontic logic, for the limit version of preferential logics, and for general approximation"Publisher
12 editions published between 2011 and 2013 in English and held by 460 WorldCat member libraries worldwide
"This text centers around three main subjects. The first is the concept of modularity and independence in classical logic and nonmonotonic and other nonclassical logic, and the consequences on syntactic and semantical interpolation and language change. In particular, we will show the connection between interpolation for nonmonotonic logic and manipulation of an abstract notion of size. Modularity is essentially the ability to put partial results achieved independently together for a global result. The second aspect of the book is the authors' uniform picture of conditionals, including manyvalued logics and structures on the language elements themselves and on the truth value set. The third topic explained by the authors is neighbourhood semantics, their connection to independence, and their common points and differences for various logics, e.g., for defaults and deontic logic, for the limit version of preferential logics, and for general approximation"Publisher
Approaches to legal rationality by
Dov M Gabbay(
)
19 editions published between 2010 and 2011 in English and German and held by 456 WorldCat member libraries worldwide
Legal theory, political sciences, sociology, philosophy, logic, artificial intelligence: there are many approaches to legal argumentation. Each of them provides specific insights into highly complex phenomena. Different disciplines, but also different traditions in disciplines (e.g. analytical and continental traditions in philosophy) find here a rare occasion to meet. The present book contains contributions, both historical and thematic, from leading researchers in several of the most important approaches to legal rationality. One of the main issues is the relation between logic and law: the way logic is actually used in law, but also the way logic can make law explicit. An outstanding group of philosophers, logicians and jurists try to meet this issue. The book is more than a collection of papers. However different their respective conceptual tools may be, the authors share a common conception: legal argumentation is a specific argumentation context
19 editions published between 2010 and 2011 in English and German and held by 456 WorldCat member libraries worldwide
Legal theory, political sciences, sociology, philosophy, logic, artificial intelligence: there are many approaches to legal argumentation. Each of them provides specific insights into highly complex phenomena. Different disciplines, but also different traditions in disciplines (e.g. analytical and continental traditions in philosophy) find here a rare occasion to meet. The present book contains contributions, both historical and thematic, from leading researchers in several of the most important approaches to legal rationality. One of the main issues is the relation between logic and law: the way logic is actually used in law, but also the way logic can make law explicit. An outstanding group of philosophers, logicians and jurists try to meet this issue. The book is more than a collection of papers. However different their respective conceptual tools may be, the authors share a common conception: legal argumentation is a specific argumentation context
Manydimensional modal logics : theory and applications by
Dov M Gabbay(
)
17 editions published between 2003 and 2006 in English and held by 454 WorldCat member libraries worldwide
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 manydimensional system, say, to reason about knowledge bases developing in time or moving objects. To study the computational behaviour of manydimensional modal logics is the main aim of this book. On the one hand, it is concerned with providing a solid mathematical foundation for this discipline, while on the other hand, it shows that many seemingly different applied manydimensional systems (e.g., multiagent systems, description logics with epistemic, temporal and dynamic operators, spatiotemporal logics, etc.) fit in perfectly with this theoretical framework, and so their computational behaviour can be analyzed using the developed machinery. We start with concrete examples of applied one and manydimensional modal logics such as temporal, epistemic, dynamic, description, spatial logics, and various combinations of these. Then we develop a mathematical theory for handling a spectrum of 'abstract' combinations of modal logics  fusions and products of modal logics, fragments of firstorder modal and temporal logics  focusing on three major problems: decidability, axiomatizability, and computational complexity. Besides the standard methods of modal logic, the technical toolkit includes the method of quasimodels, mosaics, tilings, reductions to monadic secondorder logic, algebraic logic techniques. Finally, we apply the developed machinery and obtained results to three case studies from the field of knowledge representation and reasoning: temporal epistemic logics for reasoning about multiagent systems, modalized description logics for dynamic ontologies, and spatiotemporal logics. The genre of the book can be defined as a research monograph. It brings the reader to the front line of current research in the field by showing both recent achievements and directions of future investigations (in particular, multiple open problems). On the other hand, wellknown results from modal and firstorder logic are formulated without proofs and supplied with references to accessible sources. The intended audience of this book is logicians as well as those researchers who use logic in computer science and artificial intelligence. More specific application areas are, e.g., knowledge representation and reasoning, in particular, terminological, temporal and spatial reasoning, or reasoning about agents. And we also believe that researchers from certain other disciplines, say, temporal and spatial databases or geographical information systems, will benefit from this book as well. Key Features: & bull; Integrated approach to modern modal and temporal logics and their applications in artificial intelligence and computer science & bull; Written by internationally leading researchers in the field of pure and applied logic & bull; Combines mathematical theory of modal logic and applications in artificial intelligence and computer science & bull; Numerous open problems for further research & bull; Well illustrated with pictures and tables
17 editions published between 2003 and 2006 in English and held by 454 WorldCat member libraries worldwide
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 manydimensional system, say, to reason about knowledge bases developing in time or moving objects. To study the computational behaviour of manydimensional modal logics is the main aim of this book. On the one hand, it is concerned with providing a solid mathematical foundation for this discipline, while on the other hand, it shows that many seemingly different applied manydimensional systems (e.g., multiagent systems, description logics with epistemic, temporal and dynamic operators, spatiotemporal logics, etc.) fit in perfectly with this theoretical framework, and so their computational behaviour can be analyzed using the developed machinery. We start with concrete examples of applied one and manydimensional modal logics such as temporal, epistemic, dynamic, description, spatial logics, and various combinations of these. Then we develop a mathematical theory for handling a spectrum of 'abstract' combinations of modal logics  fusions and products of modal logics, fragments of firstorder modal and temporal logics  focusing on three major problems: decidability, axiomatizability, and computational complexity. Besides the standard methods of modal logic, the technical toolkit includes the method of quasimodels, mosaics, tilings, reductions to monadic secondorder logic, algebraic logic techniques. Finally, we apply the developed machinery and obtained results to three case studies from the field of knowledge representation and reasoning: temporal epistemic logics for reasoning about multiagent systems, modalized description logics for dynamic ontologies, and spatiotemporal logics. The genre of the book can be defined as a research monograph. It brings the reader to the front line of current research in the field by showing both recent achievements and directions of future investigations (in particular, multiple open problems). On the other hand, wellknown results from modal and firstorder logic are formulated without proofs and supplied with references to accessible sources. The intended audience of this book is logicians as well as those researchers who use logic in computer science and artificial intelligence. More specific application areas are, e.g., knowledge representation and reasoning, in particular, terminological, temporal and spatial reasoning, or reasoning about agents. And we also believe that researchers from certain other disciplines, say, temporal and spatial databases or geographical information systems, will benefit from this book as well. Key Features: & bull; Integrated approach to modern modal and temporal logics and their applications in artificial intelligence and computer science & bull; Written by internationally leading researchers in the field of pure and applied logic & bull; Combines mathematical theory of modal logic and applications in artificial intelligence and computer science & bull; Numerous open problems for further research & bull; Well illustrated with pictures and tables
Reactive Kripke Semantics by
Dov M Gabbay(
)
16 editions published between 2013 and 2016 in English and held by 450 WorldCat member libraries worldwide
This text offers an extension to the traditional Kripke semantics for nonclassical logics by adding the notion of reactivity. Reactive Kripke models change their accessibility relation as we progress in the evaluation process of formulas in the model. This feature makes the reactive Kripke semantics strictly stronger and more applicable than the traditional one. Here we investigate the properties and axiomatisations of this new and most effective semantics, and we offer a wide landscape of applications of the idea of reactivity. Applied topics include reactive automata, reactive grammars, reactive products, reactive deontic logic and reactive preferential structures. Reactive Kripke semantics is the next step in the evolution of possible world semantics for nonclassical logics, and this book, written by one of the leading authorities in the field, is essential reading for graduate students and researchers in applied logic, and it offers many research opportunities for PhD students
16 editions published between 2013 and 2016 in English and held by 450 WorldCat member libraries worldwide
This text offers an extension to the traditional Kripke semantics for nonclassical logics by adding the notion of reactivity. Reactive Kripke models change their accessibility relation as we progress in the evaluation process of formulas in the model. This feature makes the reactive Kripke semantics strictly stronger and more applicable than the traditional one. Here we investigate the properties and axiomatisations of this new and most effective semantics, and we offer a wide landscape of applications of the idea of reactivity. Applied topics include reactive automata, reactive grammars, reactive products, reactive deontic logic and reactive preferential structures. Reactive Kripke semantics is the next step in the evolution of possible world semantics for nonclassical logics, and this book, written by one of the leading authorities in the field, is essential reading for graduate students and researchers in applied logic, and it offers many research opportunities for PhD students
Qualitative and quantitative practical reasoning : first International Joint Conference on Qualitative and Quantitative Practical
Reasoning ECSQARUFAPR'97, Bad Honnef, Germany, June 912, 1997 : proceedings by
Dov M Gabbay(
Book
)
21 editions published in 1997 in English and German and held by 446 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARUFAPR'97, held in Bad Honnef, Germany, in June 1997. The volume presents 33 revised full papers carefully selected for inclusion in the book by the program committee as well as 12 invited contributions. Among the various aspects of human practical reasoning addressed in the papers are nonmonotonic logics, default reasoning, modal logics, belief function theory, Bayesian networks, fuzzy logic, possibility theory, inference algorithms, dynamic reasoning with partial models, and user modeling approaches
21 editions published in 1997 in English and German and held by 446 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARUFAPR'97, held in Bad Honnef, Germany, in June 1997. The volume presents 33 revised full papers carefully selected for inclusion in the book by the program committee as well as 12 invited contributions. Among the various aspects of human practical reasoning addressed in the papers are nonmonotonic logics, default reasoning, modal logics, belief function theory, Bayesian networks, fuzzy logic, possibility theory, inference algorithms, dynamic reasoning with partial models, and user modeling approaches
Investigations in modal and tense logics with applications to problems in philosophy and linguistics by
Dov M Gabbay(
Book
)
24 editions published between 1976 and 1977 in 3 languages and held by 441 WorldCat member libraries worldwide
This book is intended to serve as an advanced text and reference work on modal logic, a subject of growing importance which has applications to philosophy and linguistics. Although it is based mainly on research which I carried out during the years 19691973, it also includes some related results obtained by other workers in the field (see the refer ences in Part 7). Parts 0, 1 and 2, can be used as the basis of a one year graduate course in modal logic. The material which they contain has been taught in such courses at Stanford since 1970. The remaining parts of the book contain more than enough material for a second course in modal logic. The exercises supplement the text and are usually difficult. I wish to thank Stanford University and BarHan University for making it possible for me to continue and finish this work, and A. Ungar for correcting the typescript. BarIlan University, Israel Dov M. GABBA Y PART 0 AN INTRODUCTION TO GENERAL INTENSIONAL LOGICS CHAPTER 0 CONSEQUENCE RELATIONS Motivation We introduce the notions of a consequence relation (which is a generalization of the notion of a logical system) and of a semantics. We show that every consequence relation is complete for a canonical semantics. We define the notion of one semantics being Dian in another and study the basic properties of this notion. The concepts of this chapter are generalizations of the various notions of logical system and possible world semantics found in the literature
24 editions published between 1976 and 1977 in 3 languages and held by 441 WorldCat member libraries worldwide
This book is intended to serve as an advanced text and reference work on modal logic, a subject of growing importance which has applications to philosophy and linguistics. Although it is based mainly on research which I carried out during the years 19691973, it also includes some related results obtained by other workers in the field (see the refer ences in Part 7). Parts 0, 1 and 2, can be used as the basis of a one year graduate course in modal logic. The material which they contain has been taught in such courses at Stanford since 1970. The remaining parts of the book contain more than enough material for a second course in modal logic. The exercises supplement the text and are usually difficult. I wish to thank Stanford University and BarHan University for making it possible for me to continue and finish this work, and A. Ungar for correcting the typescript. BarIlan University, Israel Dov M. GABBA Y PART 0 AN INTRODUCTION TO GENERAL INTENSIONAL LOGICS CHAPTER 0 CONSEQUENCE RELATIONS Motivation We introduce the notions of a consequence relation (which is a generalization of the notion of a logical system) and of a semantics. We show that every consequence relation is complete for a canonical semantics. We define the notion of one semantics being Dian in another and study the basic properties of this notion. The concepts of this chapter are generalizations of the various notions of logical system and possible world semantics found in the literature
Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 1114, 1994 : proceedings by
Dov M Gabbay(
Book
)
21 editions published in 1994 in 3 languages and held by 408 WorldCat member libraries worldwide
"This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994. Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds; presently it is in a stage of accelerated dynamic growth. This book, as the proceedings of the first international conference particularly dedicated to temporal logic, gives a thorough stateoftheart report on all aspects of temporal logic research relevant for computer science and AI. It contains 27 technical contributions carefully selected for presentation at ICTL '94 as well as three surveys and position papers."PUBLISHER'S WEBSITE
21 editions published in 1994 in 3 languages and held by 408 WorldCat member libraries worldwide
"This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994. Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds; presently it is in a stage of accelerated dynamic growth. This book, as the proceedings of the first international conference particularly dedicated to temporal logic, gives a thorough stateoftheart report on all aspects of temporal logic research relevant for computer science and AI. It contains 27 technical contributions carefully selected for presentation at ICTL '94 as well as three surveys and position papers."PUBLISHER'S WEBSITE
Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 37,
1996 : proceedings by
Dov M Gabbay(
Book
)
17 editions published in 1996 in English and held by 391 WorldCat member libraries worldwide
"This book constitutes the refereed proceedings of the International Conference on Formal and Applied Practical Reasoning, FAPR '96, held in Bonn, Germany, in June 1996. The 51 revised full papers included in the book together with eight posters were carefully selected for presentation at the conference. The book addresses current aspects of the highly interdisciplinary area of practical reasoning in artificial intelligence, philosophy, psychology, linguistics, software engineering, intelligent systems, and industrial applications. Among the topics addressed are user modeling, belief, legal reasoning, argumentation, dialogue logic, default reasoning, analogy, metareasoning, temporal and procedural reasoning, and many others."PUBLISHER'S WEBSITE
17 editions published in 1996 in English and held by 391 WorldCat member libraries worldwide
"This book constitutes the refereed proceedings of the International Conference on Formal and Applied Practical Reasoning, FAPR '96, held in Bonn, Germany, in June 1996. The 51 revised full papers included in the book together with eight posters were carefully selected for presentation at the conference. The book addresses current aspects of the highly interdisciplinary area of practical reasoning in artificial intelligence, philosophy, psychology, linguistics, software engineering, intelligent systems, and industrial applications. Among the topics addressed are user modeling, belief, legal reasoning, argumentation, dialogue logic, default reasoning, analogy, metareasoning, temporal and procedural reasoning, and many others."PUBLISHER'S WEBSITE
Mathematical problems from applied logic : logics for the XXIst century by
Dov M Gabbay(
Book
)
7 editions published in 2006 in English and held by 66 WorldCat member libraries worldwide
7 editions published in 2006 in English and held by 66 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Guenthner, Franz Other Editor Author Contributor
 Woods, John (John Hayden) Author Editor
 Benthem, Johan van 1949 Other Author Editor
 Löwe, Benedikt
 Abramsky, Samson 1953 Other Author Editor
 Hogger, Christopher John Editor
 Maibaum, Thomas S. E. 1947 Other Author Editor
 Robinson, J. A. (John Alan) Editor
 Oliveira, Anjolina G. de
 Queiroz, Ruy J. G. B. de Author
Useful Links
Associated Subjects
Algebra Algorithms Artificial intelligence Artificial intelligenceMathematics Automatic theorem proving Chemistry Computer logic Computer programming Computers Computer science Computer scienceMathematics Conditionals (Logic) Database management Fuzzy logic Game theory Grammar, Comparative and general Information theory Intelligent agents (Computer software) Law LawMethodology LawPhilosophy Logic Logic, Symbolic and mathematical Logic design Logic programming Mathematics Modality (Logic) Neural networks (Computer science) Nonmonotonic reasoning Optical pattern recognition Pattern perception Physics Political science Practical reason Problem solving Proof theory Qualitative reasoning Quantum logic Quantum theory Rationalism Reasoning Relation algebras Semantics (Philosophy) Sociological jurisprudence
Covers
Alternative Names
Dov Gabbay British logician
Dov Gabbay Brits filosoof
Dov Gabbay englischer Logiker und Informatiker
Dov Gabbay fisico e matematico britannico
Gabai, Dov 1945
Gabai, Dov M.
Gabai Dov M. 1945....
Gabbay, D.
Gabbay, D. 1945
Gabbay, D. (Dov)
Gabbay, D. (Dov), 1945
Gabbay, D. (Dov M.), 1945
Gabbay, D.M.
Gabbay, D.M. 1945
Gabbay, D. M. (Dov M.)
Gabbay, D.M. (Dov M.), 1945
Gabbay, Dov.
Gabbay, Dov 1945
Gabbay, Dov (Dov M.), 1945
Gabbay, Dov M.
Gabbay, Dove M. 1945
גבאי, דב 1945
Languages