<電子ブック>
Hybrid Logic and its Proof-Theory / by Torben Braüner
(Applied Logic Series ; 37)
版 | 1st ed. 2011. |
---|---|
出版者 | (Dordrecht : Springer Netherlands : Imprint: Springer) |
出版年 | 2011 |
本文言語 | 英語 |
大きさ | XIII, 231 p : online resource |
著者標目 | *Braüner, Torben author SpringerLink (Online service) |
件 名 | LCSH:Logic LCSH:Machine theory LCSH:Mathematical logic FREE:Logic FREE:Formal Languages and Automata Theory FREE:Mathematical Logic and Foundations |
一般注記 | Preface, -- 1 Introduction to Hybrid Logic -- 2 Proof-Theory of Propositional Hybrid Logic -- 3 Tableaus and Decision Procedures for Hybrid Logic -- 4 Comparison to Seligman’s Natural Deduction System -- 5 Functional Completeness for a Hybrid Logic -- 6 First-Order Hybrid -- 7 Intensional First-Order Hybrid Logic -- 8 Intuitionistic Hybrid Logic -- 9 Labelled Versus Internalized Natural Deduction -- 10 Why does the Proof-Theory of Hybrid Logic Behave soWell? - References -- Index 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) HTTP:URL=https://doi.org/10.1007/978-94-007-0002-4 |
目次/あらすじ
所蔵情報を非表示
電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
電子ブック | オンライン | 電子ブック |
|
Springer eBooks | 9789400700024 |
|
電子リソース |
|
EB00233677 |
類似資料
この資料の利用統計
このページへのアクセス回数:2回
※2017年9月4日以降