2013, ISBN: 9789400734357
[ED: Softcover], [PU: Springer Netherlands / Springer, Berlin], This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary moda… Meer...
booklooker.de buecher.de GmbH & Co. KG Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
2013, ISBN: 9789400734357
[ED: Softcover], [PU: Springer Netherlands Springer, Berlin], This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal … Meer...
booklooker.de buecher.de GmbH & Co. KG Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
2013, ISBN: 9789400734357
[ED: Softcover], [PU: Springer / Springer Netherlands], This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic … Meer...
booklooker.de buecher.de GmbH & Co. KG Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
ISBN: 9789400734357
Paperback, [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 dedu… Meer...
BookDepository.com Verzendingskosten:Sans frais d'envoi. (EUR 0.00) Details... |
2013, ISBN: 9789400734357
Buch, Softcover, 2011 ed. [PU: Springer], Springer, 2013
lehmanns.de Verzendingskosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
2013, ISBN: 9789400734357
[ED: Softcover], [PU: Springer Netherlands / Springer, Berlin], This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary moda… Meer...
2013, ISBN: 9789400734357
[ED: Softcover], [PU: Springer Netherlands Springer, Berlin], This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal … Meer...
2013
ISBN: 9789400734357
[ED: Softcover], [PU: Springer / Springer Netherlands], This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic … Meer...
ISBN: 9789400734357
Paperback, [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 dedu… Meer...
2013, ISBN: 9789400734357
Buch, Softcover, 2011 ed. [PU: Springer], Springer, 2013
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Hybrid Logic and its Proof-Theory
EAN (ISBN-13): 9789400734357
ISBN (ISBN-10): 9400734352
pocket book
Verschijningsjaar: 2012
Uitgever: Springer
Boek bevindt zich in het datenbestand sinds 2014-05-07T18:28:07+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2022-04-07T14:03:48+02:00 (Amsterdam)
ISBN/EAN: 9400734352
ISBN - alternatieve schrijfwijzen:
94-007-3435-2, 978-94-007-3435-7
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: braune, bräuner, brauner
Titel van het boek: hybrid logic and its proof theory, applied proof theory
Gegevens van de uitgever
Auteur: Torben Braüner
Titel: Applied Logic Series; Hybrid Logic and its Proof-Theory
Uitgeverij: Springer; Springer Netherland
231 Bladzijden
Verschijningsjaar: 2013-01-02
Dordrecht; NL
Gedrukt / Gemaakt in
Taal: Engels
109,99 € (DE)
BC; 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; BB; EA
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).Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9789400700017 Hybrid Logic and its Proof-Theory (Torben Brauner)
< naar Archief...