Atjaunināt sīkdatņu piekrišanu

Advances in Modal Logic: Volume 1 [Mīkstie vāki]

Edited by (Universität Leipzig), Edited by (Universiteit van Amsterdam), Edited by (Freie Universität Berlin), Edited by (Freie Universität Berlin)
Citas grāmatas par šo tēmu:
  • Mīkstie vāki
  • Cena: 39,11 €
  • Grāmatu piegādes laiks ir 3-4 nedēļas, ja grāmata ir uz vietas izdevniecības noliktavā. Ja izdevējam nepieciešams publicēt jaunu tirāžu, grāmatas piegāde var aizkavēties.
  • Daudzums:
  • Ielikt grozā
  • Piegādes laiks - 4-6 nedēļas
  • Pievienot vēlmju sarakstam
Advances in Modal Logic: Volume 1Palielināt
Citas grāmatas par šo tēmu:
Permanent link: https://www.kriso.lv/db/9781575861029.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 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.