SULJE VALIKKO

Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ

avaa valikko

Torben Braüner | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 4 tuotetta
Haluatko tarkentaa hakukriteerejä?



Hybrid Logic and its Proof-Theory
Torben Braüner
Springer (2010)
Kovakantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Hybrid Logic and its Proof-Theory
Torben Braüner
Springer (2013)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Papers on Time and Tense
Arthur N. Prior; Per Hasle; Peter Øhrstrøm; Torben Braüner; Jack Copeland
Oxford University Press (2003)
Pehmeäkantinen kirja
61,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Advances in Modal Logic Volume 9
Thomas Bolander; Torben Brauner; Silvio Ghilardi
College Publications (2012)
Pehmeäkantinen kirja
42,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Hybrid Logic and its Proof-Theory
97,90 €
Springer
Sivumäärä: 231 sivua
Asu: Kovakantinen kirja
Painos: 2011
Julkaisuvuosi: 2010, 30.11.2010 (lisätietoa)
Kieli: Englanti
Tuotesarja: Applied Logic Series 37
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).

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Hybrid Logic and its Proof-Theoryzoom
Näytä kaikki tuotetiedot
ISBN:
9789400700017
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste