Handbook of philosophical logic  v. 1 ~ v. 18

edited by D.M. Gabbay and F. Guenthner

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

「Nielsen BookData」より

Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory

「Nielsen BookData」より

Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory

「Nielsen BookData」より

The eighth volume of the Second Edition contains major contributions on the Logic of Questions, Sequent Systems for Modal Logics, Deontic Logic as well as Deontic Logic and Contrary-to-duties. Audience: Students and researchers whose work or interests involve philosophical logic and its applications.

「Nielsen BookData」より

The fifth volume of the second edition contains major contributions on Intuitionistic Logic, Free Logics and Partial Logic. Audience: Students and researchers whose work or interests involve philosophical logic and its applications.

「Nielsen BookData」より

The fifth volume of the second edition contains major contributions on Intuitionistic Logic, Free Logics and Partial Logic. It is aimed at students and researchers whose work or interests involve philosophical logic and its applications.

「Nielsen BookData」より

The first edition of the Handbook of Philosophical Logic (four volumes) was published in the period 1983-1989 and has proven to be an invaluable reference work to both students and researchers in formal philosophy, language and logic. The second edition of the Handbook is intended to comprise some 18 volumes and will provide a very up-to-date authoritative, in-depth coverage of all major topics in philosophical logic and its applications in many cutting-edge fields relating to computer science, language, argumentation, etc. The volumes will no longer be as topic-oriented as with the first edition because of the way the subject has evolved over the last 15 years or so. However the volumes will follow some natural groupings of chapters.

「Nielsen BookData」より

The first edition of the Handbook of Philosophical Logic (four volumes) was published in the period 1983-1989 and has proven to be an invaluable reference work to both students and researchers in formal philosophy, language and logic. The second edition of the Handbook is intended to comprise some 18 volumes and will provide a very up-to-date authoritative, in-depth coverage of all major topics in philosophical logic and its applications in many cutting-edge fields relating to computer science, language, argumentation, etc. The volumes will no longer be as topic-oriented as with the first edition because of the way the subject has evolved over the last 15 years or so. However the volumes will follow some natural groupings of chapters.

「Nielsen BookData」より

The first edition of the Handbook of Philosophical Logic (four volumes) was published in the period 1983-1989 and has proven to be an invaluable reference work to both students and researchers in formal philosophy, language and logic. The second edition of the Handbook is intended to comprise some 18 volumes and will provide a very up-to-date authoritative, in-depth coverage of all major topics in philosophical logic and its applications in many cutting-edge fields relating to computer science, language, argumentation, etc. The volumes will no longer be as topic-oriented as with the first edition because of the way the subject has evolved over the last 15 years or so. However the volumes will follow some natural groupings of chapters. Audience: Students and researchers whose work or interests involve philosophical logic and its applications.

「Nielsen BookData」より

The first edition of the Handbook of Philosophical Logic (four volumes) was published in the period 1983-1989 and has proven to be an invaluable reference work to both students and researchers in formal philosophy, language and logic. The second edition of the Handbook is intended to comprise some 18 volumes and will provide a very up-to-date authoritative, in-depth coverage of all major topics in philosophical logic and its applications in many cutting-edge fields relating to computer science, language, argumentation, etc. The volumes will no longer be as topic-oriented as with the first edition because of the way the subject has evolved over the last 15 years or so. However the volumes will follow some natural groupings of chapters. Audience: Students and researchers whose work or interests involve philosophical logic and its applications

「Nielsen BookData」より

The first edition of the Handbook of Philosophical Logic (four volumes) was published in the period 1983-1989 and has proven to be an invaluable reference work to both students and researchers in formal philosophy, language and logic. The second edition of the Handbook is intended to comprise some 18 volumes and will provide a very up-to-date authoritative, in-depth coverage of all major topics in philosophical logic and its applications in many cutting-edge fields relating to computer science, language, argumentation, etc. The volumes will no longer be as topic-oriented as with the first edition because of the way the subject has evolved over the last 15 years or so. However the volumes will follow some natural groupings of chapters. Audience: Students and researchers whose work or interests involve philosophical logic and its applications.

「Nielsen BookData」より

The first edition of the Handbook of Philosophical Logic (four volumes) was published in the period 1983-1989 and has proven to be an invaluable reference work to both students and researchers in formal philosophy, language and logic. The second edition of the Handbook is intended to comprise some 18 volumes and will provide a very up-to-date authoritative, in-depth coverage of all major topics in philosophical logic and its applications in many cutting-edge fields relating to computer science, language, argumentation, etc. The volumes will no longer be as topic-oriented as with the first edition because of the way the subject has evolved over the last 15 years or so. However the volumes will follow some natural groupings of chapters. Audience: Students and researchers whose work or interests involve philosophical logic and its applications.

「Nielsen BookData」より

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.

「Nielsen BookData」より

The ninth volume of the Second Edition contains major contributions on Rewriting Logic as a Logical and Semantic Framework, Logical Frameworks, Proof Theory and Meaning, Goal Directed Deductions, Negations, Completeness and Consistency as well as Logic as General Rationality. Audience: Students and researchers whose work or interests involve philosophical logic and its applications.

「Nielsen BookData」より

The second volume of the second edition contains major contributions on Systems of Deduction, Alternatives to Standard First-order Semantics, Algebraic Logic, Basic and Advanced Many-valued Logic. Audience: Students and researchers whose work or interests involve philosophical logic and its applications.

「Nielsen BookData」より

The seventh volume of the Second Edition contains major contributions on Basic Tense Logic, Advanced Tense Logic, Combinations of Tense and Modality, Philosophical Perspectives on Quantification in Tense and Modal Logic as well as Tense and Time. Audience: Students and researchers whose work or interests involve philosophical logic and its applications.

「Nielsen BookData」より

The sixth volume of the Handbook of Philosophical Logic, Second Edition contains major contributions on Relevance Logic, Quantum Logics, Combinators, Proofs and Implicational Logics and Paraconsistent Logic. Audience: Students and researchers whose work or interests involve philosophical logic and its applications.

「Nielsen BookData」より

The third volume of the second edition contains major contributions on Basic and Advanced Modal Logic, Quantification in Modal Logic and Correspondence Theory. Audience: Students and researchers whose work or interests involve philosophical logic and its applications.

「Nielsen BookData」より

The third volume of the second edition contains major contributions on Basic and Advanced Modal Logic, Quantification in Modal Logic and Correspondence Theory. Audience: Students and researchers whose work or interests involve philosophical logic and its applications.

「Nielsen BookData」より

This fourth volume of the second edition contains major contributions on Conditional Logic, Dynamic Logic, Logics for Defeasible Argumentation, Preference Logic and Diagrammatic Logic. Audience: Students and researchers whose work or interests involve philosophical logic and its applications.

「Nielsen BookData」より

This fourth volume of the second edition contains major contributions on Conditional Logic, Dynamic Logic, Logics for Defeasible Argumentation, Preference Logic and Diagrammatic Logic. Audience: Students and researchers whose work or interests involve philosophical logic and its applications.

「Nielsen BookData」より

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.

「Nielsen BookData」より

This first volume of the second edition contains major contributions on Predicate Logic, First- and Second-order Logic, Higher-order Logic, Algorithms and Decision Problems, and the Mathematics of Logic Programming. Audience: Students and researchers whose work or interests involve philosophical logic and its applications.

「Nielsen BookData」より

[目次]

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

「Nielsen BookData」より

[目次]

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

「Nielsen BookData」より

[目次]

  • 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.

「Nielsen BookData」より

[目次]

  • 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.

「Nielsen BookData」より

[目次]

  • 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.

「Nielsen BookData」より

[目次]

  • 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.

「Nielsen BookData」より

[目次]

  • 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.

「Nielsen BookData」より

[目次]

  • 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. Monnich. Mass Expressions
  • F.J. Pelletier, L.K. Schubert. Index.

「Nielsen BookData」より

[目次]

  • 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.

「Nielsen BookData」より

[目次]

  • 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.

「Nielsen BookData」より

[目次]

  • 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.

「Nielsen BookData」より

[目次]

  • 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.

「Nielsen BookData」より

[目次]

  • 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.

「Nielsen BookData」より

[目次]

  • 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.

「Nielsen BookData」より

[目次]

  • 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.

「Nielsen BookData」より

[目次]

  • 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.

「Nielsen BookData」より

[目次]

  • 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.

「Nielsen BookData」より

[目次]

  • 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.

「Nielsen BookData」より

[目次]

  • 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.

「Nielsen BookData」より

[目次]

  • 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」より

[目次]

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

「Nielsen BookData」より

[目次]

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

「Nielsen BookData」より

[目次]

  • 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.

「Nielsen BookData」より

この本の情報

書名 Handbook of philosophical logic
著作者等 Gabbay, Dov M.
Guenthner, Franz
Gabbay D.M.
Guenthner F. (Ludwig-Maximilians Universitat)
Gabbay Dov M. (King's College London)
巻冊次 v. 1
v. 2
v. 3
v. 4
v. 5
v. 6
v. 7
v. 8
v. 9
v. 10
v. 11
v. 12
v. 13
v. 14
v. 15
v. 16
v. 17
v. 18
出版元 Kluwer Academic
刊行年月 c2001-
版表示 2nd ed
ページ数 v.
大きさ 25 cm
ISBN 0792371267
0792371607
1402001398
1402002351
1402005997
1402006659
1402006993
1402016441
1402019661
079237018X
9781402005831
9781402030918
9781402035203
9781402063237
9783319977546
9789048158775
9789048159277
9789048165544
9789048168903
9789400704787
9789400704848
9789400734517
9789400765993
9789048157655
NCID BA53368597
※クリックでCiNii Booksを表示
言語 英語
出版国 オランダ
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想