This book is an exploration of current trends in logical theories of information flow across various fields. It provides one mathematical perspective encompassing all of these. This framework generates a new agenda of questions concerning dynamic inference and dynamic operators. The result is a mathematical theory of process models, simulations between these, and modal languages over them, which is developed in detail.
"Sinopsis" puede pertenecer a otra edición de este libro.
Johan van Benthem is University Professor of pure and applied logic at the University of Amsterdam, the Henry Waldgrave Stuart Professor of Philosophy at Stanford University, and the Weilun Visiting Professor of Humanities at Tsinghua University in Beijing.
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 30,00 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoEUR 2,00 gastos de envío desde Irlanda a España
Destinos, gastos y plazos de envíoLibrería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Condición: New. This book is an exploration of current trends in logical theories of information flow across various fields. Series: Studies in Logic, Language & Information. Num Pages: 341 pages, bibliography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 21. Weight in Grams: 475. . 1996. First Edition, First Printing. Paperback. . . . . Nº de ref. del artículo: V9781575860589
Cantidad disponible: 1 disponibles
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Condición: New. This book is an exploration of current trends in logical theories of information flow across various fields. Series: Studies in Logic, Language & Information. Num Pages: 341 pages, bibliography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 21. Weight in Grams: 475. . 1996. First Edition, First Printing. Paperback. . . . . Books ship from the US and Ireland. Nº de ref. del artículo: V9781575860589
Cantidad disponible: 1 disponibles
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Condición: New. In. Nº de ref. del artículo: ria9781575860589_new
Cantidad disponible: 3 disponibles
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000. Nº de ref. del artículo: FW-9781575860589
Cantidad disponible: 3 disponibles
Librería: Rarewaves.com UK, London, Reino Unido
Paperback. Condición: New. 74th ed. This book is an exploration of current trends in logical theories of information flow across various fields, such as belief revision in computer science or dynamic semantics in linguistics. It provides one mathematical perspective encompassing all of these. This framework generates a new agenda of questions concerning dynamic inference and dynamic operators. The result is a mathematical theory of process models, simulations between these, and modal languages over them, which is developed in quite some detail. New results include theorems on expressive completeness, representation of styles of inference, and new kinds of decidable remodeling for standard logics. This theory is also confronted with practice in computer science, linguistics and philosophy. Nº de ref. del artículo: LU-9781575860589
Cantidad disponible: 2 disponibles
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Paperback / softback. Condición: New. New copy - Usually dispatched within 4 working days. 505. Nº de ref. del artículo: B9781575860589
Cantidad disponible: 3 disponibles
Librería: Book House in Dinkytown, IOBA, Minneapolis, MN, Estados Unidos de America
Paperback. Condición: Very Good. 74th ed. Very good paperback with very good text. Previous owner's inscription on front endpaper, otherwise text very good. Exterior has light shelfwear and bumping; otherwise very good. Ships from Dinkytown in Minneapolis, Minnesota. Nº de ref. del artículo: 277450
Cantidad disponible: 1 disponibles
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Paperback. Condición: New. 74th ed. This book is an exploration of current trends in logical theories of information flow across various fields, such as belief revision in computer science or dynamic semantics in linguistics. It provides one mathematical perspective encompassing all of these. This framework generates a new agenda of questions concerning dynamic inference and dynamic operators. The result is a mathematical theory of process models, simulations between these, and modal languages over them, which is developed in quite some detail. New results include theorems on expressive completeness, representation of styles of inference, and new kinds of decidable remodeling for standard logics. This theory is also confronted with practice in computer science, linguistics and philosophy. Nº de ref. del artículo: LU-9781575860589
Cantidad disponible: 2 disponibles
Librería: Revaluation Books, Exeter, Reino Unido
Paperback. Condición: Brand New. 288 pages. 9.25x6.25x1.00 inches. In Stock. Nº de ref. del artículo: __1575860589
Cantidad disponible: 2 disponibles
Librería: Majestic Books, Hounslow, Reino Unido
Condición: New. pp. 288. Nº de ref. del artículo: 5743388
Cantidad disponible: 3 disponibles