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
-
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 -
Kobe University Library for Science and Technology
v. 1 : pbk116-0-83//1030202001015,
v. 2 : pbk116-0-83//2030202001088 -
Faculty of Letters Library, University of Tokyo英文
v. 1 : pbk3号館2:Kracht et al.:14816263638,
v. 2 : pbk3号館2:Zakharyaschev:14816518726 -
No Libraries matched.
- Remove all filters.
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
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
- Volume
-
v. 2 : pbk ISBN 9781575862729
Description
by "Nielsen BookData"