Hybrid Logic and Its Proof-Theory / Torben Braüner / Buch / XIII / Englisch / 2010 / Springer Netherland / EAN 9789400700017 - encadernado, livro de bolso
2010, ISBN: 9789400700017
[ED: Gebunden], [PU: Springer Netherland], This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows … mais…
booklooker.de |
2010, ISBN: 9789400700017
This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in … mais…
Thalia.de Nr. 23470911. Custos de envio:, Lieferbar in 1 - 2 Wochen, DE. (EUR 0.00) Details... |
2011, ISBN: 9789400700017
Erscheinungsdatum: 03/2011, Medium: Buch, Einband: Gebunden, Titel: Hybrid Logic and its Proof-Theory, Autor: Braüner, Torben, Verlag: Springer-Verlag GmbH // Springer Netherland, Sprache… mais…
Averdo.com Nr. 70514646. Custos de envio:, Next Day, DE. (EUR 0.00) Details... |
ISBN: 9789400700017
Hardback, [PU: Springer], In the present book we demonstrate that hybrid-logical proof-theory remedies these deficiencies by giving a spectrum of well-behaved proof systems (natural deduc… mais…
BookDepository.com Custos de envio:Sans frais d'envoi. (EUR 0.00) Details... |
ISBN: 9789400700017
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… mais…
awesomebooks.com No. 9789400700017. Custos de envio:20, (EUR 3.36) Details... |
Hybrid Logic and Its Proof-Theory / Torben Braüner / Buch / XIII / Englisch / 2010 / Springer Netherland / EAN 9789400700017 - encadernado, livro de bolso
2010, ISBN: 9789400700017
[ED: Gebunden], [PU: Springer Netherland], This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows … mais…
2010, ISBN: 9789400700017
This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in … mais…
2011
ISBN: 9789400700017
Erscheinungsdatum: 03/2011, Medium: Buch, Einband: Gebunden, Titel: Hybrid Logic and its Proof-Theory, Autor: Braüner, Torben, Verlag: Springer-Verlag GmbH // Springer Netherland, Sprache… mais…
ISBN: 9789400700017
Hardback, [PU: Springer], In the present book we demonstrate that hybrid-logical proof-theory remedies these deficiencies by giving a spectrum of well-behaved proof systems (natural deduc… mais…
no/na awesomebooks.com
ISBN: 9789400700017
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… mais…
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - Hybrid Logic and its Proof-Theory
EAN (ISBN-13): 9789400700017
ISBN (ISBN-10): 9400700016
Livro de capa dura
Livro de bolso
Ano de publicação: 2011
Editor/Editora: Springer-Verlag GmbH
231 Páginas
Peso: 0,507 kg
Língua: eng/Englisch
Livro na base de dados desde 2008-04-15T00:11:06+01:00 (Lisbon)
Página de detalhes modificada pela última vez em 2024-01-30T18:39:40+00:00 (Lisbon)
Número ISBN/EAN: 9789400700017
Número ISBN - Ortografia alternativa:
94-007-0001-6, 978-94-007-0001-7
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: braune, bra, bräuner, brauner
Título do livro: hybrid logic and its proof theory, applied proof theory
Dados da editora
Autor: Torben Braüner
Título: Applied Logic Series; Hybrid Logic and its Proof-Theory
Editora: Springer; Springer Netherland
231 Páginas
Ano de publicação: 2010-11-30
Dordrecht; NL
Impresso / Feito em
Língua: Inglês
109,99 € (DE)
BB; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; Computational Logic; Logic; Mathematical logic; Philosophical logic; Logic; Formal Languages and Automata Theory; Mathematical Logic and Foundations; Theoretische Informatik; Mathematik: Logik; Mathematische Grundlagen; BC
This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (where the points represent times, possible worlds, states in a computer, or something else). This is useful for many applications, for example when reasoning about time one often wants to formulate a series of statements about what happens at specific times. There is little consensus about proof-theory for ordinary modal logic. Many modal-logical proof systems lack important properties and the relationships between proof systems for different modal logics are often unclear. In the present book we demonstrate that hybrid-logical proof-theory remedies these deficiencies by giving a spectrum of well-behaved proof systems (natural deduction, Gentzen, tableau, and axiom systems) for a spectrum of different hybrid logics (propositional, first-order, intensional first-order, and intuitionistic).Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
9789400700031 Hybrid Logic and Its Proof-Theory (Torben Bra Ner)
< Para arquivar...