Atgal
Knygos internetu pigiau
0 Krepšelis
0 Mėgstami
0Krepšelis
  1. Pirmas
  2. Knygos anglų kalba
  3. Hybrid Logic and Its Proof-Theory

Hybrid Logic and Its Proof-Theory

(0) Rašyti atsiliepimą
Hybrid Logic and Its Proof-Theory
Pridėti prie pamėgtų
Šiuo metu neparduodama

Formatai:

Knyga kietu viršeliu 0,00 €

Knygos aprašymas

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

Informacija

Autorius: Torben Braüner
Leidėjas: Springer
Išleidimo metai: 2010
Knygos puslapių skaičius: 244
ISBN-13: 9789400700017
Formatas: 6.14 x 0.63 x 9.21 inches. Knyga kietu viršeliu
Kalba: Anglų

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Hybrid Logic and Its Proof-Theory“
Būtina įvertinti prekę

Goodreads reviews for „Hybrid Logic and Its Proof-Theory“