ISBN-10:
1575861038
ISBN-13:
9781575861036
Pub. Date:
06/01/1998
Publisher:
Center for the Study of Language and Inf

Hardcover

View All Available Formats & Editions
Current price is , Original price is $64.95. You
Select a Purchase Option
  • purchase options
    $58.45 $64.95 Save 10% Current price is $58.45, Original price is $64.95. You Save 10%.
  • purchase options

Product Details

ISBN-13: 9781575861036
Publisher: Center for the Study of Language and Inf
Publication date: 06/01/1998
Series: Center for the Study of Language and Information - Lecture Notes Series
Pages: 400
Product dimensions: 6.00(w) x 9.00(h) x 1.10(d)

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.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews