Artículos relacionados a Logics of Proofs and Justifications
Sinopsis
Justification logics are closely related to modal logics and can be viewed as a refinement of the latter with machinery for justification manipulation. Justifications are represented directly in the language by terms, which can be interpreted as formal proofs in a deductive system, evidence for knowledge, winning strategy in a game, etc. This more expressive language proved beneficial in both proof theory and epistemology and helped investigate problems ranging from a classical provability semantics for intuitionistic logic to the logical omniscience problem.
Justification logic is a new and fast evolving field that offers unexpected new approaches and insights into old problems. Its position at the junction of mathematics, philosophy, and computer science makes it of interest to a wide audience.
This book provides a rigorous introduction to justification logic. It covers the basic constructions of justification logic as well as epistemic models and provability semantics. Further it includes chapters on decidability and complexity of justification logics as well as a chapter on self-referentiality. It also contains detailed historic remarks on the subject.
"Sinopsis" puede pertenecer a otra edición de este libro.
- EditorialCollege Publications
- Año de publicación2019
- ISBN 10 1848901682
- ISBN 13 9781848901681
- EncuadernaciónTapa blanda
- IdiomaInglés
- Número de páginas246
- Contacto del fabricanteno disponible
EUR 22,84
EUR 17,41 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 24,05
EUR 4,65 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Logics of Proofs and Justifications
Imagen de archivo
Logics of Proofs and Justifications
Publicado por
College Publications, 2019
ISBN 10: 1848901682
ISBN 13: 9781848901681
Nuevo
Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9781848901681_new
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Logics of Proofs and Justifications
Impresión bajo demandaLibrería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9781848901681
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Logics of Proofs and Justifications
Impresión bajo demandaLibrería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9781848901681
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Logics of Proofs and Justifications
Publicado por
College Publications, 2019
ISBN 10: 1848901682
ISBN 13: 9781848901681
Nuevo
Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9781848901681
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Logics of Proofs and Justifications
Publicado por
College Publications, 2019
ISBN 10: 1848901682
ISBN 13: 9781848901681
Nuevo
Paperback / softback
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 450. Nº de ref. del artículo: C9781848901681
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Logics of Proofs and Justifications (Paperback or Softback)
Publicado por
College Publications 4/2/2019, 2019
ISBN 10: 1848901682
ISBN 13: 9781848901681
Nuevo
Paperback or Softback
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback or Softback. Condición: New. Logics of Proofs and Justifications 0.77. Book. Nº de ref. del artículo: BBS-9781848901681
Cantidad disponible: 5 disponibles
Imagen de archivo
Logics of Proofs and Justifications
Publicado por
College Publications 2019-04-02, 2019
ISBN 10: 1848901682
ISBN 13: 9781848901681
Nuevo
Paperback
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: New. Nº de ref. del artículo: 6666-IUK-9781848901681
Cantidad disponible: 10 disponibles
Imagen del vendedor
Logics of Proofs and Justifications
Publicado por
College Publications, 2019
ISBN 10: 1848901682
ISBN 13: 9781848901681
Nuevo
Tapa blanda
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: 35601402-n
Cantidad disponible: 1 disponibles
Imagen del vendedor
Logics of Proofs and Justifications
Publicado por
College Publications, 2019
ISBN 10: 1848901682
ISBN 13: 9781848901681
Antiguo o usado
Tapa blanda
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: 35601402
Cantidad disponible: 1 disponibles
Imagen del vendedor
Logics of Proofs and Justifications
Publicado por
College Publications, 2019
ISBN 10: 1848901682
ISBN 13: 9781848901681
Nuevo
Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 35601402-n
Cantidad disponible: 1 disponibles