Advances in Modal Logic: Volume 1

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.