Hybrid Logic and its Proof-Theory (Cartonné)

Edition en anglais

  • Springer

  • Paru le : 01/03/2011
Note moyenne : |
Ce produit n'a pas encore été évalué. Soyez le premier !
Donnez votre avis !
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... > Lire la suite
123,04 €
Neuf - Expédié sous 9 à 14 jours
  • ou
    Livré chez vous
    entre le 2 décembre et le 7 décembre
ou
Votre note
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).
  • Date de parution : 01/03/2011
  • Editeur : Springer
  • Collection : Applied Logic Series
  • ISBN : 9789400700017
  • EAN : 9789400700017
  • Présentation : Cartonné
  • Poids : 0.507 Kg
  • Dimensions : 16,7 cm × 24,2 cm × 2,4 cm

Nos avis clients sur decitre.fr


Avis Trustpilot

Hybrid Logic and its Proof-Theory est également présent dans les rayons

Torben Braüner - Hybrid Logic and its Proof-Theory.
Hybrid Logic and its Proof-Theory
123,04 €
Haut de page
Decitre utilise des cookies pour vous offrir le meilleur service possible. En continuant votre navigation, vous en acceptez l'utilisation. En savoir plus OK