Articoli correlati a Advances in Modal Logic: Volume 1

Advances in Modal Logic: Volume 1 ISBN 13: 9781575861036

Advances in Modal Logic: Volume 1 - Rilegato

 
9781575861036: Advances in Modal Logic: Volume 1

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Descrizione del libro

Modal logic originated in philosophy as the logic of necessity and possibility. This volume 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.

Contenuti

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Compra usato

Condizioni: molto buono
8vo, hardcover. Vol. 1 only. No...
Visualizza questo articolo

EUR 28,88 per la spedizione da U.S.A. a Italia

Destinazione, tempi e costi

Altre edizioni note dello stesso titolo

9781575861029: Advances in Modal Logic: Volume 1

Edizione in evidenza

ISBN 10:  157586102X ISBN 13:  9781575861029
Casa editrice: The Center for the Study of Lang..., 1998
Brossura

Risultati della ricerca per Advances in Modal Logic: Volume 1

Foto dell'editore

Kracht, Marcus; de Rijke, Maarten; Wansing, Heinrich; Zakharyaschev, Michael, eds.
ISBN 10: 1575861038 ISBN 13: 9781575861036
Antico o usato Rilegato

Da: Tiber Books, Cockeysville, MD, U.S.A.

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Hardcover. Condizione: Very Good. 8vo, hardcover. Vol. 1 only. No dj, maroon cloth. Vg+ condition. Single ex-lib stamp on 1 early pg (only marking), else contents bright, crisp & clean, virtually unopened. 392 pp. Contains a selection of papers presented at the first AiML conference held at the Free University of Berlin, Oct. 1996. Codice articolo 1040331.08

Contatta il venditore

Compra usato

EUR 22,53
Convertire valuta
Spese di spedizione: EUR 28,88
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello