Nederlands
Nederland
Aanmelden
De tip van euro-boek.nl
Soortgelijke boeken
Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Zoekfuncties
boekentips
actueel
Advertentie
Betaalde advertentie
FILTER
- 0 resultaten
laagste prijs: 86,39 €, hoogste prijs: 251,91 €, gemiddelde prijs: 147,95 €
Hybrid Logic and its Proof-Theory (Applied Logic Series) - Torben Braüner
uitverkocht boek
(*)
Torben Braüner:
Hybrid Logic and its Proof-Theory (Applied Logic Series) - gebonden uitgave, pocketboek

2010, ISBN: 9400700016

[SR: 9483993], Hardcover, [EAN: 9789400700017], Springer, Springer, Book, [PU: Springer], 2010-11-30, Springer, 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)., 278366, Mathematical Logic, 278363, Mathematical Foundations, 278320, Mathematics, 57, Science & Nature, 1025612, Subjects, 266239, Books, 922942, Maths, 922868, Popular Science, 57, Science & Nature, 1025612, Subjects, 266239, Books, 564352, Mathematics, 570902, Algebra, 570874, Applied Mathematics, 570912, Calculus & Mathematical Analysis, 570934, Combinatorics & Graph Theory, 570936, Geometry, 570964, Mathematical Theory, 564334, Scientific, Technical & Medical, 1025612, Subjects, 266239, Books, 276315, Philosophy, 496404, History, 496508, Introduction to Philosophy, 276319, Non-Western, 496410, Philosophers, 60, Society, Politics & Philosophy, 1025612, Subjects, 266239, Books

gebruikt boek Amazon.co.uk
sales-de
Gebraucht. Verzendingskosten:Europa Zone 1: GBP 5,48 pro Produkt.. Usually dispatched within 3-4 business days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 4.80)
Details...
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.
Hybrid Logic and its Proof-Theory (Applied Logic Series) - Torben Braüner
uitverkocht boek
(*)
Torben Braüner:
Hybrid Logic and its Proof-Theory (Applied Logic Series) - gebonden uitgave, pocketboek

2010, ISBN: 9400700016

[SR: 9483993], Hardcover, [EAN: 9789400700017], Springer, Springer, Book, [PU: Springer], 2010-11-30, Springer, 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)., 278366, Mathematical Logic, 278363, Mathematical Foundations, 278320, Mathematics, 57, Science & Nature, 1025612, Subjects, 266239, Books, 922942, Maths, 922868, Popular Science, 57, Science & Nature, 1025612, Subjects, 266239, Books, 564352, Mathematics, 570902, Algebra, 570874, Applied Mathematics, 570912, Calculus & Mathematical Analysis, 570934, Combinatorics & Graph Theory, 570936, Geometry, 570964, Mathematical Theory, 564334, Scientific, Technical & Medical, 1025612, Subjects, 266239, Books, 276315, Philosophy, 496404, History, 496508, Introduction to Philosophy, 276319, Non-Western, 496410, Philosophers, 60, Society, Politics & Philosophy, 1025612, Subjects, 266239, Books

Nieuw boek Amazon.co.uk
UKPaperbackshop
Neuware. Verzendingskosten:Europa Zone 1: GBP 5,48 pro Produkt.. Usually dispatched within 3-4 business days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 4.80)
Details...
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.
Hybrid Logic and its Proof-Theory - Torben Braüner
uitverkocht boek
(*)
Torben Braüner:
Hybrid Logic and its Proof-Theory - nieuw boek

ISBN: 9789400700017

ID: 836481214

This book 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. The extra expressive power 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. The present book demonstrates that hybrid-logical proof-theory remedies this lack of uniformity in ordinary modal-logical proof systems. It considers a spectrum of different versions of hybrid logic (propositional, first-order, international first-order, and intuitionist) and of different types of proof-systems for hybrid-logic (natural deduction, Gentzen, tableaux, and axiom systems). All these systems can be motivated independently, but the fact that the systems can be given in a uniform way shows that hybrid logic and hybrid-logical proof theory is a natural enterprise. 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. Buch (fremdspr.) Bücher>Fremdsprachige Bücher>Englische Bücher, Springer

Nieuw boek Thalia.de
No. 23470911. Verzendingskosten:, Sofort lieferbar, DE. (EUR 0.00)
Details...
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.
Hybrid Logic and Its Proof-Theory - Torben Bra?ner
uitverkocht boek
(*)
Torben Bra?ner:
Hybrid Logic and Its Proof-Theory - gebruikt boek

ISBN: 9400700016

ID: 10903985

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). math,mathematics,science and math Mathematics, Springer

gebruikt boek Thriftbooks.com
used. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
Details...
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.
Hybrid Logic and its Proof-Theory (Applied Logic Series) - Torben Braüner
uitverkocht boek
(*)
Torben Braüner:
Hybrid Logic and its Proof-Theory (Applied Logic Series) - gebruikt boek

2010, ISBN: 9789400700017

ID: 995122790

2010-12-01. Good. Ships with Tracking Number! INTERNATIONAL WORLDWIDE Shipping available. May not contain Access Codes or Supplements. May be ex-library. Shipping & Handling by region. Buy with confidence, excellent customer service!, 2010-12-01

gebruikt boek Biblio.com
Books Express
Verzendingskosten: EUR 50.92
Details...
(*) Uitverkocht betekent dat het boek is momenteel niet beschikbaar op elk van de bijbehorende platforms we zoeken.

Bijzonderheden over het boek
Hybrid Logic and its Proof-Theory

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).

Gedetalleerde informatie over het boek. - Hybrid Logic and its Proof-Theory


EAN (ISBN-13): 9789400700017
ISBN (ISBN-10): 9400700016
Gebonden uitgave
pocket book
Verschijningsjaar: 2011
Uitgever: Springer-Verlag GmbH
231 Bladzijden
Gewicht: 0,507 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 15.04.2008 01:11:06
Boek voor het laatst gevonden op 22.05.2018 15:36:31
ISBN/EAN: 9789400700017

ISBN - alternatieve schrijfwijzen:
94-007-0001-6, 978-94-007-0001-7


< naar Archief...
Verwante boeken