Mohlo by sa vám tiež páčiť

Viac informácií o knihe Hybrid Logic and its Proof-Theory

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 304 bodov

Anotácia knihy

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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Humanities Philosophy Philosophy: logic

• Celý názov: Hybrid Logic and its Proof-Theory
• Autor: Torben Brauner
• Jazyk: Angličtina
• Väzba: Pevná
• Počet strán: 231
• EAN: 9789400700017
• ISBN: 9400700016
• ID: 01978446
• Nakladateľ: Springer
• Hmotnosť: 504 g
• Rozmery: 242 × 339 × 19 mm
• Dátum vydania: 30. November 2010

Obľúbené z iného súdka

---

---

---