Update cookies preferences

Advances in Modal Logic: Volume 1 [Hardback]

Edited by (Freie Universität Berlin), Edited by (Freie Universität Berlin), Edited by (Universiteit van Amsterdam), Edited by (Universität Leipzig)
Other books in subject:
  • Hardback
  • Price: 80,20 €*
  • * This title is out of print. Used copies may be available, but delivery only inside Baltic States
  • This title is out of print. Used copies may be available, but delivery only inside Baltic States.
  • Quantity:
  • Add to basket
  • Add to Wishlist
Advances in Modal Logic: Volume 1
Other books in subject:
Permanent link: https://www.kriso.lv/db/9781575861036.html
Keywords:
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.

This volume offers an up-to-date perspective on modal logic.
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.