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 … More...

[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 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)., DE, [SC: 0.00], Neuware, gewerbliches Angebot, 231, [GW: 507g], Banküberweisung, PayPal, [CT: Sonstiges / Sonstiges]<

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 … More...

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). Buch (fremdspr.) Torben Braüner gebundene Ausgabe, Springer Netherland, 30.11.2010, Springer Netherland, 2010<

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… More...

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: Englisch, Schlagworte: Logik // Philosophie // Mathematik // Informatik // Computer // Theoretische Informatik // Geschichte // Programmier // und Skriptsprachen // allgemein, Rubrik: Philosophie // Allgemeines, Lexika, Seiten: 231, Abbildungen: 37 schwarz-weiße Tabellen, Herkunft: GROSSBRITANNIEN (GB), Reihe: Applied Logic Series (Nr. 37), Gewicht: 507 gr, Verkäufer: averdo Sonstige<

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… More...

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 deduction, Gentzen, tableau, and axiom systems) for a spectrum of different hybrid logics (propositional, first-order, intensional first-order, and intuitionistic)., Philosophy: Logic<

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… More...

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.; Science & Nature, Springer<