Hybrid Logic and its Proof-Theory demonstrates that hybrid-logical proof-theory remedies the lack of uniformity in ordinary modal-logical proof systems. Various versions and proof systems for hybrid logic are considered, providing a detailed overview of the topic.
Year of publication: 2012
Pagination: 231 pages, 37 black & white tables, biography
Format: Paperback
Serie: Applied Logic Series

Hybrid Logic and Its Proof-Theory - Paperback - 2012

Sê o primeiro a dar
a tua opinião sobre este produto

Editora: Springer

Dimensão: 235 x 155 x 13

Peso: 354

Tema: Philosophy: logic|Mathematical foundations

Origem: Netherlands

EAN: 9789400734357

Hybrid Logic and Its Proof-Theory - Paperback - 2012

Torben Brauner

Resumo

Avaliações dos nossos clientes

Características