Handbook of philosophical logic

著者

• Gabbay, Dov M.
• Guenthner, Franz

書誌事項

Handbook of philosophical logic

edited by D.M. Gabbay and F. Guenthner

Kluwer Academic, c2001-

2nd ed

• v. 1
• v. 2
• v. 3
• v. 3 : pbk
• v. 4
• v. 4 : pbk
• v. 5
• v. 5 : pbk
• v. 6
• v. 7
• v. 8
• v. 9
• v. 10
• v. 11
• v. 11 : pbk
• v. 12
• v. 13
• v. 13 : pbk
• v. 14
• v. 15
• v. 15 : pbk
• v. 16
• v. 17
• v. 18

注記

Publisher varies: Springer (v. 12-18)

Includes bibliographies and indexes

内容説明・目次

巻冊次

v. 1 ISBN 9780792370185

内容説明

It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been great changes in the landscape of philosophical logic since then. The first edition has proved invaluable to generations of students and researchers in formal philosophy and language, as well as to consumers of logic in many applied areas. The main logic article in the Encyclopaedia Britannica 1999 has described the first edition as 'the best starting point for exploring any of the topics in logic'. We are confident that the second edition will prove to be just as good. ! The first edition was the second handbook published for the logic commu nity. It followed the North Holland one volume Handbook of Mathematical Logic, published in 1977, edited by the late Jon Barwise, The four volume Handbook of Philosophical Logic, published 1983-1989 came at a fortunate temporal junction at the evolution of logic. This was the time when logic was gaining ground in computer science and artificial intelligence circles. These areas were under increasing commercial pressure to provide devices which help and/or replace the human in his daily activity. This pressure required the use of logic in the modelling of human activity and organisa tion on the one hand and to provide the theoretical basis for the computer program constructs on the other.

目次

• Editorial Preface
• D.M. Gabbay. Elementary Predicate Logic
• W. Hodges. Systems Between First- and Second-order Logic
• S. Shapiro. Higher-Order Logic
• J. van Benthem, K. Doets. Algorithms and Decision Problems: A Crash Course in Recursion Theory
• D. van Dalen. Mathematics of Logic Programming
• H.D. Ebbinghaus, J. Flum. Index.

巻冊次

v. 2 ISBN 9780792371267

内容説明

It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been great changes in the landscape of philosophical logic since then. The first edition has proved invaluable to generations of students and researchers in formal philosophy and language, as weIl as to consumers of logic in many applied areas. The main logic artiele in the Encyelopaedia Britannica 1999 has described the first edition as 'the best starting point for exploring any of the topics in logic'. We are confident that the second edition will prove to be just as good. ! The first edition was the second handbook published for the logic commu nity. It followed the North Holland one volume Handbook 0/ Mathematical Logic, published in 1977, edited by the late Jon Barwise. The four volume Handbook 0/ Philosophical Logic, published 1983-1989 came at a fortunate at the evolution of logic. This was the time when logic temporal junction was gaining ground in computer science and artificial intelligence cireles. These areas were under increasing commercial pressure to provide devices which help andjor replace the human in his daily activity. This pressure required the use of logic in the modelling of human activity and organisa tion on the one hand and to provide the theoretical basis for the computer program constructs on the other.

目次

• Editorial Preface
• D.M. Gabbay. Systems of Deduction
• G. Sundholm. Alternatives to Standard First-order Semantics
• H. Leblanc. Algebraic Logic
• H. Andreka, et al. Basic Many-valued Logic
• A. Urquhart. Advanced Many-valued Logics
• R. Hahnle. Index.

巻冊次

v. 3 ISBN 9780792371601

内容説明

It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been great changes in the landscape of philosophical logic since then. The first edition has proved invaluable to generations of students and researchers in formal philosophy and language, as well as to consumers of logic in many applied areas. The main logic artiele in the Encyelopaedia Britannica 1999 has described the first edition as 'the best starting point for exploring any of the topics in logic'. We are confident that the second edition will prove to be just as good. ! The first edition was the second handbook published for the logic commu nity. It followed the North Holland one volume Handbook 0/ Mathematical Logic, published in 1977, edited by the late Jon Barwise. The four volume Handbook 0/ Philosophical Logic, published 1983-1989 came at a fortunate temporal junction at the evolution of logic. This was the time when logic was gaining ground in computer science and artificial intelligence cireles. These areas were under increasing commercial press ure to provide devices which help and/or replace the human in his daily activity. This pressure required the use of logic in the modelling of human activity and organisa tion on the one hand and to provide the theoretical basis for the computer program constructs on the other.

目次

• Editorial Preface
• D.M. Gabbay. Basic Modal Logic
• R.A. Bull, K. Segerberg. Advanced Modal Logic
• M. Zakharyaschev, F. Wolter, A. Chagrov. Quantification in Modal Logic
• J. Garson. Correspondence Theory
• J. van Benthem. Index.

巻冊次

v. 4 ISBN 9781402001390

内容説明

It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been great changes in the landscape of philosophical logic since then. The first edition has proved invaluable to generations of students and researchers in formal philosophy and language, as well as to consumers of logic in many applied areas. The main logic artiele in the Encyelopaedia Britannica 1999 has described the first edition as 'the best starting point for exploring any of the topics in logic'. We are confident that the second edition will prove to be just as good. ! The first edition was the second handbook published for the logic commu nity. It followed the North Holland one volume Handbook 0/ Mathematical Logic, published in 1977, edited by the late Jon Barwise. The four volume Handbook 0/ Philosophical Logic, published 1983-1989 came at a fortunate temporal junction at the evolution of logic. This was the time when logic was gaining ground in computer science and artificial intelligence cireles. These areas were under increasing commercial press ure to provide devices which help andjor replace the human in his daily activity. This pressure required the use of logic in the modelling of human activity and organisa tion on the one hand and to provide the theoretical basis for the computer program constructs on the other.

目次

• Editorial Preface
• D.M. Gabbay. Conditional Logic
• D. Nute, C.B. Cross. Dynamic Logic
• D. Harel. Logics for Defeasible Argumentation
• H. Prakken, G. Vreeswijk. Preference Logic
• S.O. Hansson. Diagrammatic Logic
• E. Hammer. Index.

巻冊次

v. 5 ISBN 9781402002359

内容説明

It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been great changes in the landscape of philosophical logic since then. The first edition has proved invaluable to generations of students and researchers in formal philosophy and language, as well as to consumers of logic in many applied areas. The main logic article in the Encyclopaedia Britannica 1999 has described the first edition as 'the best starting point for exploring any of the topics in logic'. We are confident that the second edition will prove to be just as good,! The first edition was the second handbook published for the logic commu nity. It followed the North Holland one volume Handbook of Mathematical Logic, published in 1977, edited by the late Jon Barwise. The four volume Handbook of Philosophical Logic, published 1983-1989 came at a fortunate temporal junction at the evolution of logic. This was the time when logic was gaining ground in computer science and artificial intelligence circles. These areas were under increasing commercial pressure to provide devices which help and/or replace the human in his daily activity. This pressure required the use of logic in the modelling of human activity and organisa tion on the one hand and to provide the theoretical basis for the computer program constructs on the other.

目次

• Editorial Preface
• D.M. Gabbay. Intuitionistic Logic
• D. van Dalen. Dialogues as a Foundation for Intuitionistic Logic
• W. Felscher. Free Logics
• E. Bencivenga. Advanced Free Logic
• S. Lehmann. Partial Logic
• S. Blamey. Index.

巻冊次

v. 6 ISBN 9781402005831

内容説明

such questions for centuries (unrestricted by the capabilities of any hard ware). The principles governing the interaction of several processes, for example, are abstract an similar to principles governing the cooperation of two large organisation. A detailed rule based effective but rigid bureaucracy is very much similar to a complex computer program handling and manipulating data. My guess is that the principles underlying one are very much the same as those underlying the other. I believe the day is not far away in the future when the computer scientist will wake up one morning with the realisation that he is actually a kind of formal philosopher! The projected number of volumes for this Handbook is about 18. The subject has evolved and its areas have become interrelated to such an extent that it no longer makes sense to dedicate volumes to topics. However, the volumes do follow some natural groupings of chapters. I would like to thank our authors are readers for their contributions and their commitment in making this Handbook a success. Thanks also to our publication administrator Mrs J. Spurr for her usual dedication and excellence and to Kluwer Academic Publishers for their continuing support for the Handbook.

目次

• Editorial Preface
• D.M. Gabbay. Relevance Logic
• M. Dunn, G. Restall. Quantum Logics
• M.-L.D. Chiara, R. Giuntini. Combinators, Proofs and Implicational Logics
• M. Bunder. Paraconsistent Logic
• G. Priest. Index.

巻冊次

v. 7 ISBN 9781402005992

内容説明

It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been great changes in the landscape of philosophical logic since then. The first edition has proved invaluable to generations of students and researchers in formal philosophy and language, as well as to consumers of logic in many applied areas. The main logic article in the Encyclopaedia Britannica 1999 has described the first edition as 'the best starting point for exploring any of the topics in logic'. We are confident that the second edition will prove to be just as good! The first edition was the second handbook published for the logic commu nity. It followed the North Holland one volume Handbook of Mathematical Logic, published in 1977, edited by the late Jon Barwise. The four volume Handbook of Philosophical Logic, published 1983-1989 came at a fortunate temporal junction at the evolution of logic. This was the time when logic was gaining ground in computer science and artificial intelligence circles. These areas were under increasing commercial pressure to provide devices which help and/or replace the human in his daily activity. This pressure required the use of logic in the modelling of human activity and organisa tion on the one hand and to provide the theoretical basis for the computer program constructs on the other.

目次

• Editorial Preface
• D.M. Gabbay. Basic Tense Logic
• J.P. Burgess. Advanced Tense Logic
• M. Finger, et al. Combinations of Tense and Modality
• R.H. Thomason. Philosophical Perspectives on Quantification in Tense and Modal Logic
• N.B. Cocchiarella. Tense and Time
• S.T. Kuhn, P. Portner. Index.

巻冊次

v. 8 ISBN 9781402006654

内容説明

suchquestionsforcenturies(unrestrictedbythecapabilitiesofanyhard- ware). Theprinciplesgoverningtheinteractionofseveralprocesses,forexample, areabstractansimilartoprinciplesgoverningthecooperationoftwolarge organisation.Adetailedrulebasedeffectivebutrigidbureaucracyisvery muchsimilartoacomplexcomputerprogramhandlingandmanipulating data. Myguessisthattheprinciplesunderlyingoneareverymuchthe sameasthoseunderlyingtheother. Ibelievethedayisnotfarawayinthefuturewhenthecomputerscientist willwakeuponemorningwiththerealisationthatheisactuallyakindof formalphilosopher! TheprojectednumberofvolumesforthisHandbookisabout18.The subjecthasevolvedanditsareashavebecomeinterrelatedtosuchanextent thatitnolongermakessensetodedicatevolumestotopics.However,the volumesdofollowsomenaturalgroupingsofchapters. Iwouldliketothankourauthorsarereadersfortheircontributionsand theircommitmentinmakingthisHandbookasuccess. Thanksalsoto ourpublicationadministratorMrsJ.Spurrforherusualdedicationand excellenceandtoKluwerAcademicPublishersfortheircontinuingsupport fortheHandbook. DovGabbay King'sCollegeLondon x Logic II IT Natural Program Artificialin- Logic p- language controlspec- telligence gramming processing ification, verification, concurrency Temporal Expressive Expressive Planning. Extension of logic poweroftense power for re- Time depen- Horn clause operators. currentevents. dent data. with time Temporal Specification Eventcalculus. capability. indices. Sepa- of tempo- Persistence Eventcalculus. rationofpast ral control. throughtime- Temporallogic fromfuture Decisionprob- the Frame programming. Problem.Tem- lems. Model checking. poral query language. temporal transactions. Modal logic. generalised Actionlogic Beliefrevision. Negation by Multi-modal quantifiers Inferential failure and logics databases modality Algorithmic Discourse rep- New logics. Generaltheory Proceduralap- proof resentation. Generic theo- of reasoning. proachtologic Direct com- remprovers Non-monotonic putation on systems linguisticinput Non- Resolving Loopchecking. Intrinsiclogical Negation by monotonic ambigui- Non-monotonic discipline for failure.Deduc- reasoning ties. Machine decisionsabout AI. Evolving tivedatabases translation. loops. Faults and com- Document insystems. municating classification. databases Relevance theory Probabilistic logicalanalysis Realtimesys- Expert sys- Semantics for and fuzzy oflanguage tems tems.Machine logicprograms logic learning Intuitionistic Quantifiers in Constructive Intuitionistic Horn clause logic logic reasoning and logicisabetter logic is really proof theory logical basis intuitionistic.

目次

• Editorial Preface
• D.M. Gabbay. The Logic of Questions
• D. Harrah. Sequent Systems for Modal Logics
• H. Wansing. Deontic Logic
• L. Aqvist. Deontic Logic and Contrary-to-Dutiesl J. Carmo, A. Jones. Index.

巻冊次

v. 9 ISBN 9781402006999

内容説明

It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been great changes in the landscape of philosophical logic since then. The first edition has proved invaluable to generations of students and researchers in formal philosophy and language, as well as to consumers of logic in many applied areas. The main logic article in the Encyclopaedia Britannica 1999 has described the first edition as 'the best starting point for exploring any of the topics in logic'. We are confident that the second edition will prove to be just as good! The first edition was the second handbook published for the logic com- nity. It followed the North Holland one volume Handbook of Mathematical Logic, published in 1977, edited by the late Jon Barwise. The four volume Handbook of Philosophical Logic, published 1983-1989 came at a fortunate temporal junction at the evolution of logic. This was the time when logic was gaining ground in computer science and artificial intelligence circles. These areas were under increasing commercial pressure to provide devices which help and/or replace the human in his daily activity. This pressure required the use of logic in the modelling of human activity and organi- tion on the one hand and to provide the theoretical basis for the computer program constructs on the other.

目次

• Editorial Preface
• D.M. Gabbay. Rewriting Logic as a Logical and Semantic Framework
• N. Marti-Oliet, J. Meseguer. Logical Frameworks
• D. Basin, S. Matthews. Proof Theory and Meaning
• G. Sundholm. Goal Directed Deductions
• D.M. Gabbay, N. Olivetti. On Negation, Completeness and Consistency
• A. Avron. Logic as General Rationality: A Survey
• T. Sales. Index.

巻冊次

v. 10 ISBN 9781402016448

内容説明

It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been great changes in the landscape of philosophical logic since then. The first edition has proved invaluable to generations of students and researchers in formal philosophy and language, as weIl as to consumers of logic in many applied areas. The main logic article in the Encyclopaedia Britannica 1999 has described the first edition as 'the best starting point for exploring any of the topics in logic'. We are confident that the second edition will prove to be just as good! The first edition was the second handbook published for the logic commu nity. It followed the North Holland one volume Handbook 0/ Mathematical Logic, published in 1977, edited by the late Jon Barwise. The four volume Handbook 0/ Philosophical Logic, published 1983-1989 came at a fortunate temporal junction at the evolution of logic. This was the time when logic was gaining ground in computer science and artificial intelligence circles. These areas were under increasing commercial pressure to provide devices which help and/or replace the human in his daily activity. This pressure required the use of logic in the modelling of human activity and organisa tion on the one hand and to provide the theoretical basis for the computer program constructs on the other.

目次

• Editorial Preface
• D.M. Gabbay. Modal Epistemic and Doxastic Logic
• J.-J.Ch. Meyer. Reference and Information Content: Names and Descriptions
• N. Salmon. Indexicals
• G. Forbes. Propositional Attitudes
• R. Bauerle, M.J. Cresswell. Property Theories
• G. Bealer, U. Moennich. Mass Expressions
• F.J. Pelletier, L.K. Schubert. Index.

巻冊次

v. 11 ISBN 9781402019661

内容説明

It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been great changes in the landscape of philosophical logic since then. The first edition has proved invaluable to generations of students and researchers in formal philosophy and language, as well as to consumers of logic in many applied areas. The main logic article in the Encyclopaedia Britannica 1999 has described the first edition as 'the best starting point for exploring any of the topics in logic'. We are confident that the second edition will prove to be just as good! The first edition was the second handbook published for the logic commu nity. It followed the North Holland one volume Handbook of Mathematical Logic, published in 1977, edited by the late Jon Barwise. The four volume Handbook of Philosophical Logic, published 1983-1989 came at a fortunate temporal junction at the evolution of logic. This was the time when logic was gaining ground in computer science and artificial intelligence circles. These areas were under increasing commercial pressure to provide devices which help and/or replace the human in his daily activity. This pressure required the use of logic in the modelling of human activity and organisa tion on the one hand and to provide the theoretical basis for the computer program constructs on the other.

目次

• Editorial Preface
• D.M. Gabbay. Modal Logic and Self-Reference
• C. Smorynski. Diagonalization in Logic and Mathematics
• D. Jacquette. Semantics and the Liar Paradox
• A. Visser. The Logic of Fiction
• J. Woods, P. Alward. Index.

巻冊次

v. 12 ISBN 9781402030918

内容説明

such questions for centuries (unrestricted by the capabilities of any ha- ware). Theprinciplesgoverningtheinteractionofseveralprocesses, forexample, are abstract an similar to principles governing the cooperation of two large organisation. A detailed rule based e?ective but rigid bureaucracy is very much similar to a complex computer program handling and manipulating data. My guess is that the principles underlying one are very much the same as those underlying the other. Ibelievethedayisnotfarawayinthefuturewhenthecomputerscientist will wake up one morning with the realisation that he is actually a kind of formal philosopher! The projected number of volumes for this Handbook is about 18. The subjecthasevolvedanditsareashavebecomeinterrelatedtosuchanextent that it no longer makes sense to dedicate volumes to topics. However, the volumes do follow some natural groupings of chapters. I would like to thank our authors and readers for their contributions and their commitment in making this Handbook a success. Thanksalso to our publication administrator Mrs J. Spurr for her usual dedication and excellence and to Kluwer Academic Publishers (now Springer) for their continuing support for the Handbook. Dov Gabbay King's College London x PREFACE TO THE SECOND EDITION Logic IT Natural Program Arti?cialin- Logic p- language control spec- telligence gramming processing i?cation, veri?cation, concurrency Temporal Expressive Expressive Planning. Extension of logic power of tense power for re- Time depen- Horn clause operators. currentevents. dent data. with time Temporal Speci?cation Eventcalculus. capability. indices. Sepa- of tempo- Persistence Eventcalculus. ration of past ral control. through time- Temporal logic from future Decision prob- the Frame programming.

目次

Knowledge Representation with Logic Programs.- The Resolution Principle.- How to Go Nonmonotonic.

巻冊次

v. 13 ISBN 9781402035203

内容説明

such questions for centuries (unrestricted by the capabilities of any ha- ware). Theprinciplesgoverningtheinteractionofseveralprocesses, forexample, are abstract an similar to principles governing the cooperation of two large organisation. A detailed rule based e?ective but rigid bureaucracy is very much similar to a complex computer program handling and manipulating data. My guess is that the principles underlying one are very much the same as those underlying the other. Ibelievethedayisnotfarawayinthefuturewhenthecomputerscientist will wake up one morning with the realisation that he is actually a kind of formal philosopher! The projected number of volumes for this Handbook is about 18. The subjecthasevolvedanditsareashavebecomeinterrelatedtosuchanextent that it no longer makes sense to dedicate volumes to topics. However, the volumes do follow some natural groupingsof chapters. Iwould liketothank our authorsand readersfor their contributionsand their commitment in making this Handbook a success. Thanksalso to our publication administrator Mrs J. Spurr for her usual dedication and excellence and to Kluwer Academic Publishers (now Springer) for their continuing support for the Handbook. Dov Gabbay King's College London 10 Logic IT Natural Program Arti?cial in- Logicp- language control spec- telligence gramming processing i?cation, veri?cation, concurrency Temporal Expressive Expressive Planning. Extension of logic power of tense power for re- Time depen- Horn clause operators. current events. dent data. with time Temporal Speci?cation Eventcalculus. capability. indices. Sepa- of tempo- Persistence Event calculus. ration of past ral control. through time- Temporal logic from future Decision prob- theFrame programming. lems. Model Problem. T- checking. poral query language. temporal transactions.

目次

Editorial Preface The Practical Turn in Logic Fibring of Logics as a Universal Construction Provability Logic Index

巻冊次

v. 14 ISBN 9781402063237

内容説明

The fourteenth volume of the Second Edition covers central topics in philosophical logic that have been studied for thousands of years, since Aristotle: Inconsistency, Causality, Conditionals, and Quantifiers. These topics are central in many applications of logic in central disciplines and this book is indispensable to any advanced student or researcher using logic in these areas. The chapters are comprehensive and written by major figures in the field.

目次

Logics of Formal Inconsistency.- Causality.- On Conditionals.- Quantifiers in Formal and Natural Languages.

巻冊次

v. 18 ISBN 9783319977546

内容説明

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.

目次

Chapter 1. Deontic Logic and Changing Preferences (Johan van Benthem and Fenrong Liu).- Chapter 2. Homogeneous and heterogeneous logical proportions: An introduction (Henri Prade and Gilles Richard).- Chapter 3. The Formalization of Pratical Reasoning: Problems and Prospects (Richmond H. Thomason).- Chapter 4. Principles of Talmudic Logic (M. Abraham, D. M. Gabbay and U. Schild).

巻冊次

v. 3 : pbk ISBN 9789048157655

内容説明

It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been great changes in the landscape of philosophical logic since then. The first edition has proved invaluable to generations of students and researchers in formal philosophy and language, as well as to consumers of logic in many applied areas. The main logic artiele in the Encyelopaedia Britannica 1999 has described the first edition as 'the best starting point for exploring any of the topics in logic'. We are confident that the second edition will prove to be just as good. ! The first edition was the second handbook published for the logic commu nity. It followed the North Holland one volume Handbook 0/ Mathematical Logic, published in 1977, edited by the late Jon Barwise. The four volume Handbook 0/ Philosophical Logic, published 1983-1989 came at a fortunate temporal junction at the evolution of logic. This was the time when logic was gaining ground in computer science and artificial intelligence cireles. These areas were under increasing commercial press ure to provide devices which help and/or replace the human in his daily activity. This pressure required the use of logic in the modelling of human activity and organisa tion on the one hand and to provide the theoretical basis for the computer program constructs on the other.

目次

• Editorial Preface
• D.M. Gabbay. Basic Modal Logic
• R.A. Bull, K. Segerberg. Advanced Modal Logic
• M. Zakharyaschev, F. Wolter, A. Chagrov. Quantification in Modal Logic
• J. Garson. Correspondence Theory
• J. van Benthem. Index.

巻冊次

v. 4 : pbk ISBN 9789048158775

内容説明

It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been great changes in the landscape of philosophical logic since then. The first edition has proved invaluable to generations of students and researchers in formal philosophy and language, as well as to consumers of logic in many applied areas. The main logic artiele in the Encyelopaedia Britannica 1999 has described the first edition as 'the best starting point for exploring any of the topics in logic'. We are confident that the second edition will prove to be just as good. ! The first edition was the second handbook published for the logic commu nity. It followed the North Holland one volume Handbook 0/ Mathematical Logic, published in 1977, edited by the late Jon Barwise. The four volume Handbook 0/ Philosophical Logic, published 1983-1989 came at a fortunate temporal junction at the evolution of logic. This was the time when logic was gaining ground in computer science and artificial intelligence cireles. These areas were under increasing commercial press ure to provide devices which help andjor replace the human in his daily activity. This pressure required the use of logic in the modelling of human activity and organisa tion on the one hand and to provide the theoretical basis for the computer program constructs on the other.

目次

• Editorial Preface
• D.M. Gabbay. Conditional Logic
• D. Nute, C.B. Cross. Dynamic Logic
• D. Harel. Logics for Defeasible Argumentation
• H. Prakken, G. Vreeswijk. Preference Logic
• S.O. Hansson. Diagrammatic Logic
• E. Hammer. Index.

巻冊次

v. 5 : pbk ISBN 9789048159277

内容説明

It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been great changes in the landscape of philosophical logic since then. The first edition has proved invaluable to generations of students and researchers in formal philosophy and language, as well as to consumers of logic in many applied areas. The main logic article in the Encyclopaedia Britannica 1999 has described the first edition as 'the best starting point for exploring any of the topics in logic'. We are confident that the second edition will prove to be just as good,! The first edition was the second handbook published for the logic commu nity. It followed the North Holland one volume Handbook of Mathematical Logic, published in 1977, edited by the late Jon Barwise. The four volume Handbook of Philosophical Logic, published 1983-1989 came at a fortunate temporal junction at the evolution of logic. This was the time when logic was gaining ground in computer science and artificial intelligence circles. These areas were under increasing commercial pressure to provide devices which help and/or replace the human in his daily activity. This pressure required the use of logic in the modelling of human activity and organisa tion on the one hand and to provide the theoretical basis for the computer program constructs on the other.

目次

• Editorial Preface
• D.M. Gabbay. Intuitionistic Logic
• D. van Dalen. Dialogues as a Foundation for Intuitionistic Logic
• W. Felscher. Free Logics
• E. Bencivenga. Advanced Free Logic
• S. Lehmann. Partial Logic
• S. Blamey. Index.

巻冊次

v. 11 : pbk ISBN 9789048165544

内容説明

It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been great changes in the landscape of philosophical logic since then. The first edition has proved invaluable to generations of students and researchers in formal philosophy and language, as well as to consumers of logic in many applied areas. The main logic article in the Encyclopaedia Britannica 1999 has described the first edition as 'the best starting point for exploring any of the topics in logic'. We are confident that the second edition will prove to be just as good! The first edition was the second handbook published for the logic commu nity. It followed the North Holland one volume Handbook of Mathematical Logic, published in 1977, edited by the late Jon Barwise. The four volume Handbook of Philosophical Logic, published 1983-1989 came at a fortunate temporal junction at the evolution of logic. This was the time when logic was gaining ground in computer science and artificial intelligence circles. These areas were under increasing commercial pressure to provide devices which help and/or replace the human in his daily activity. This pressure required the use of logic in the modelling of human activity and organisa tion on the one hand and to provide the theoretical basis for the computer program constructs on the other.

目次

• Editorial Preface
• D.M. Gabbay. Modal Logic and Self-Reference
• C. Smorynski. Diagonalization in Logic and Mathematics
• D. Jacquette. Semantics and the Liar Paradox
• A. Visser. The Logic of Fiction
• J. Woods, P. Alward. Index.

巻冊次

v. 13 : pbk ISBN 9789048168903

内容説明

such questions for centuries (unrestricted by the capabilities of any ha- ware). Theprinciplesgoverningtheinteractionofseveralprocesses, forexample, are abstract an similar to principles governing the cooperation of two large organisation. A detailed rule based e?ective but rigid bureaucracy is very much similar to a complex computer program handling and manipulating data. My guess is that the principles underlying one are very much the same as those underlying the other. Ibelievethedayisnotfarawayinthefuturewhenthecomputerscientist will wake up one morning with the realisation that he is actually a kind of formal philosopher! The projected number of volumes for this Handbook is about 18. The subjecthasevolvedanditsareashavebecomeinterrelatedtosuchanextent that it no longer makes sense to dedicate volumes to topics. However, the volumes do follow some natural groupingsof chapters. Iwould liketothank our authorsand readersfor their contributionsand their commitment in making this Handbook a success. Thanksalso to our publication administrator Mrs J. Spurr for her usual dedication and excellence and to Kluwer Academic Publishers (now Springer) for their continuing support for the Handbook. Dov Gabbay King's College London 10 Logic IT Natural Program Arti?cial in- Logicp- language control spec- telligence gramming processing i?cation, veri?cation, concurrency Temporal Expressive Expressive Planning. Extension of logic power of tense power for re- Time depen- Horn clause operators. current events. dent data. with time Temporal Speci?cation Eventcalculus. capability. indices. Sepa- of tempo- Persistence Event calculus. ration of past ral control. through time- Temporal logic from future Decision prob- theFrame programming. lems. Model Problem. T- checking. poral query language. temporal transactions.

目次

Editorial Preface The Practical Turn in Logic Fibring of Logics as a Universal Construction Provability Logic Index

巻冊次

v. 16 ISBN 9789400704787

内容説明

Belief Revision Refutation and systems in Propositional Logic. A Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Systems.

目次

Editorial Preface: Dov M. Gabbay.- Belief Revision: Odinaldo Rodrigues, Dov Gabbay and Alessandra Russo.- Refutation Systems in Propositional Logic: Tomasz Skura.- Quantifier Scope in Formal Linguistics: E. G. Ruys and Yoad Winter.- Non-deterministic Semantics for Logical Systems: Arnon Avron and Anna Zamansky.- Index.

巻冊次

v. 15 ISBN 9789400704848

内容説明

Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory

目次

Editorial Preface.- Dov M. Gabbay.- Lambda Calculi: A Guide.- Chris Hankin.- Interpolation and Definability .- Dov Gabbay and Larisa L. Maksimova.- Discourse Representation Theory .- Hans Kamp, Josef van Genabith and Uwe Reyle.- Index.

巻冊次

v. 15 : pbk ISBN 9789400734517

内容説明

Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory

目次

Editorial Preface.- Dov M. Gabbay.- Lambda Calculi: A Guide.- Chris Hankin.- Interpolation and Definability .- Dov Gabbay and Larisa L. Maksimova.- Discourse Representation Theory .- Hans Kamp, Josef van Genabith and Uwe Reyle.- Index.

巻冊次

v. 17 ISBN 9789400765993

内容説明

This second edition of the Handbook of Philosophical Logic reflects great changes in the landscape of philosophical logic since the first edition. It gives readers an idea of that landscape and its relation to computer science and formal language and artificial intelligence. It shows how the increased demand for philosophical logic from computer science and artificial intelligence and computational linguistics accelerated the development of the subject directly and indirectly. This development in turn, directly pushed research forward, stimulated by the needs of applications. New logic areas became established and old areas were enriched and expanded. At the same time, it socially provided employment for generations of logicians residing in computer science, linguistics and electrical engineering departments which of course helped keep the logic community to thrive. The many contributors to this Handbook are active in these application areas and are among the most famous leading figures of applied philosophical logic of our times.

目次

• Editorial Preface
• Dov M. Gabbay.- Hybrid Logic
• Torben Brauner.- Nominal Terms and Nominal Logics: From Foundations to Meta-mathematics
• Murdoch J. Gabbay.- Introduction to Labelled Deductive Systems
• Dov M. Gabbay.- Index.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA53368597
• ISBN:
  • 079237018X
  • 0792371267
  • 0792371607
  • 9789048157655
  • 1402001398
  • 9789048158775
  • 1402002351
  • 9789048159277
  • 9781402005831
  • 1402005997
  • 1402006659
  • 1402006993
  • 1402016441
  • 1402019661
  • 9789048165544
  • 9781402030918
  • 9781402035203
  • 9789048168903
  • 9781402063237
  • 9789400704848
  • 9789400734517
  • 9789400704787
  • 9789400765993
  • 9783319977546
• LCCN: 2018957613
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Dordrecht
• ページ数/冊数: v.
• 大きさ: 25 cm
• 分類:
  • LCC : BC6
  • DC21 : 160
• 件名:
  • LCSH : Logic