Artículos relacionados a Proof Theory of Modal Logic: 2 (Applied Logic Series,...
Sinopsis
Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.
"Sinopsis" puede pertenecer a otra edición de este libro.
De la contraportada
This volume deals with formal, mechanizable reasoning in modal logics, that is, logics of necessity, possibility, belief, time computations etc. It is therefore of immense interest for various interrelated disciplines such as philosophy, AI, computer science, logic, cognitive science and linguistics. The book consists of 15 original research papers, divided into three parts. The first part contains papers which give a profound description of powerful proof-theoretic methods as applied to the normal modal logic S4. Part II is concerned with a number of generalizations of the standard proof-theoretic formats, while the third part presents new and important results on semantics-based proof systems for modal logic.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Proof Theory of Modal Logic: 2 (Applied Logic Series,...
Imagen de archivo
Proof Theory of Modal Logic (Applied Logic Series)
Librería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: New. In shrink wrap. Looks like an interesting title! Nº de ref. del artículo: Q-0792341201
Comprar nuevo
EUR 122,74
Envío por EUR 6,20
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Proof Theory of Modal Logic
Publicado por
Springer Netherlands Okt 1996, 1996
ISBN 10: 0792341201
ISBN 13: 9780792341208
Nuevo
Buch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction. 336 pp. Englisch. Nº de ref. del artículo: 9780792341208
Comprar nuevo
EUR 160,49
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen del vendedor
Proof Theory of Modal Logic
Impresión bajo demandaLibrería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Gebunden. Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations of novel. Nº de ref. del artículo: 5967824
Comprar nuevo
EUR 136,16
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Proof Theory of Modal Logic
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 3193247-n
Comprar nuevo
EUR 191,52
Envío por EUR 2,35
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen de archivo
Proof Theory of Modal Logic
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 3193247
Comprar usado
EUR 193,01
Envío por EUR 2,35
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen de archivo
Proof Theory of Modal Logic (Applied Logic Series, 2)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In English. Nº de ref. del artículo: ria9780792341208_new
Comprar nuevo
EUR 184,28
Envío por EUR 13,30
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Proof Theory of Modal Logic
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction. Nº de ref. del artículo: 9780792341208
Comprar nuevo
EUR 170,19
Envío por EUR 35,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Proof Theory of Modal Logic
Publicado por
Kluwer Academic Publishers, 1996
ISBN 10: 0792341201
ISBN 13: 9780792341208
Nuevo
Tapa blanda
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Focuses on study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations, and more. This work contains technical results and presentations of novel proof procedures. It is useful for the interdisciplinary fields of logic, knowledge representation, and automated deduction. Editor(s): Wansing, Heinrich. Series: Applied Logic Series. Num Pages: 318 pages, biography. BIC Classification: HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 19. Weight in Grams: 1430. . 1996. Hardback. . . . . Nº de ref. del artículo: V9780792341208
Comprar nuevo
EUR 202,08
Envío por EUR 9,50
Se envía de Irlanda a Estados Unidos de America
Se envía de Irlanda a Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen del vendedor
Proof Theory of Modal Logic
Publicado por
Springer, Springer Okt 1996, 1996
ISBN 10: 0792341201
ISBN 13: 9780792341208
Nuevo
Buch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Buch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 332 pp. Englisch. Nº de ref. del artículo: 9780792341208
Comprar nuevo
EUR 160,49
Envío por EUR 60,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Proof Theory of Modal Logic
Librería: Books Puddle, Woodside, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 336. Nº de ref. del artículo: 26549881
Comprar nuevo
EUR 233,32
Envío por EUR 3,56
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 4 disponibles