Advances in modal logic
Author(s)
Bibliographic Information
Advances in modal logic
(CSLI lecture notes, #87,
CSLI Publications, c1998-
- v. 1 : hardback
- v. 1 : pbk
- v. 2 : hardback
- v. 2 : pbk
Available at 34 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
-
v. 1 : pbk116.1//A16//158711400815871,
v. 2 : hardback116.1//A16//927611400992761 -
Ochanomizu University Library英文
v. 1 : pbk116/A16/1099010081760,
v. 2 : pbk116/A16/2001010027173
Note
Vol. 1. A selection of papers presented at the first AiML conference held at the Free University of Berlin, Oct. 1996
Vol. 2 edited by Michael Zakharyaschev ... [et al.]
Includes bibliographical references and indexes
Description and Table of Contents
- Volume
-
v. 1 : pbk ISBN 9781575861029
Description
Modal logic originated in philosophy as the logic of necessity and possibility. Now it has reached a high level of mathematical sophistication and has many applications in a variety of disciplines, including theoretical and applied computer science, artificial intelligence, the foundations of mathematics, and natural language syntax and semantics. This volume represents the proceedings of the first international workshop on Advances in Modal Logic, held in Berlin, Germany, October 8-10, 1996. It offers an up-to-date perspective on the field, with contributions covering its proof theory, its applications in knowledge representation, computing and mathematics, as well as its theoretical underpinnings.
Table of Contents
- 1. Shakespearean modal logic: a labeled treatment of modal identity
- 2. Terminological modal logic
- 3. What are hybrid languages?
- 4. On the degree of neighborhood incompleteness of normal modal logics
- 5. Uniform interpolation, automata and the modal -calculus
- 6. Fischer Servi's intuitionistic modal logic has the finite model property
- 7. Topological next time logic
- 8. On the incompleteness of modal logics of space: advancing complete modal logics of place
- 9. Interpolation in Superintuitionistic and Modal Predicate Logics with Equality
- 10. Mosaics and Cylindric Modal Logic of Dimension
- 11. Cut-Free Indexed Calculi for Modal Logics Containing the Barcan axiom
- 12. Minimal Knowledge States in Nonmonotonic Modal Logics
- 13. Resolution is a Decision Procedure for Many Propositional Modal Logics
- 14. On Strong Neighbourhood Completeness of Modal and Intermediate Propositional Logics
- 15. Duality in Superintuitionistic and Modal Predicate Logics
- 16. On the Relationship between Models of Parallel Computations
- 17. On Isomorphisms between Canonical Frames
- 18. Hyper Arrow Structures, Arrow Logics
- 19. Atom structures
- 20. An Overview of Interpretability Logic
- 21. Fusions of Modal Logics Revisited.
- Volume
-
v. 2 : hardback ISBN 9781575862712
Description
Modal logic originated in philosophy as the logic of necessity and possibility. Now it has reached a high level of mathematical sophistication and has many applications in a variety of disciplines, ranging from artificial intelligence, computer science and mathematics via natural language syntax and semantics to philosophy. It is the main source of formal languages aimed at analyzing complex notions such as common knowlwdge and formal provability. This volume presents a broad, contemporary view of the field, with contributions covering the foundations of modal logic as well as its many application areas.
- Volume
-
v. 2 : pbk ISBN 9781575862729
Description
Modal logic originated in philosophy as the logic of necessity and possibility. Now it has reached a high level of mathematical sophistication and has many applications in a variety of disciplines, ranging from artificial intelligence, computer science and mathematics via natural language syntax and semantics to philosophy. It is the main source of formal languages aimed at analyzing complex notions such as common knowlwdge and formal provability. This volume presents a broad, contemporary view of the field, with contributions covering the foundations of modal logic as well as its many application areas.
by "Nielsen BookData"