Publishing Partner: Cambridge University Press CUP Extra Publisher Login
amazon logo
More Info


New from Oxford University Press!

ad

Holy Sh*t: A Brief History of Swearing

By Melissa Mohr

Holy Sh*t: A Brief History of Swearing "contains original research into the history of swearing, and is scrupulous in analyzing the claims of other scholars."


New from Cambridge University Press!

ad

A New Manual of French Composition

By R. L. Graeme Ritchie

A New Manual of French Composition "provides a guide to French composition aimed at university students and the higher classes in schools. "


Book Information

   
Sun Image

Title: Hybrid Logic and its Proof-Theory
Written By: Torben Braüner
URL: http://www.springer.com/philosophy/logic+and+philosophy+of+language/book/978-94-007-0001-7
Description:

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

Table of Contents

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 so well? - References .- Index.

Publication Year: 2011
Publisher: Springer
Review: Not available for review. If you would like to review a book on The LINGUIST List, please login to view the AFR list.
BibTex: View BibTex record
Linguistic Field(s): Computational Linguistics
Philosophy of Language
Issue: All announcements sent out by The LINGUIST List are emailed to our subscribers and archived with the Library of Congress.
Click here to see the original emailed issue.

Versions:
Format: Hardback
ISBN: 9400700016
ISBN-13: 9789400700017
Pages: 231
Prices: U.S. $ 139.00