Advances in Modal Logic

by Kracht, Marcus; Rijke, Maarten De; Wansing, Heinrich; Zakharyaschev, Michael

• ISBN13: 9781575861029
• ISBN10: 157586102X
• Format: Paperback
• Copyright: 1998-06-01
• Publisher: Stanford Univ Center for the Study

Summary

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