22.1222, Books: Computational Ling/Philosophy of Lang: Bra üner

Mon Mar 14 15:57:42 UTC 2011

LINGUIST List: Vol-22-1222. Mon Mar 14 2011. ISSN: 1068 - 4875.

Subject: 22.1222, Books: Computational Ling/Philosophy of Lang: Braüner

Moderators: Anthony Aristar, Eastern Michigan U <aristar at linguistlist.org>
            Helen Aristar-Dry, Eastern Michigan U <hdry at linguistlist.org>

Reviews: Veronika Drake, U of Wisconsin-Madison  
Monica Macaulay, U of Wisconsin-Madison  
Rajiv Rao, U of Wisconsin-Madison  
Joseph Salmons, U of Wisconsin-Madison  
Anja Wanner, U of Wisconsin-Madison  
       <reviews at linguistlist.org> 

Homepage: http://linguistlist.org/

The LINGUIST List is funded by Eastern Michigan University, 
and donations from subscribers and publishers.

Editor for this issue: Fatemeh Abdollahi <fatemeh at linguistlist.org>
================================================================  

Links to the websites of all LINGUIST's supporting publishers
are available at the end of this issue. 

===========================Directory==============================  

1)
Date: 11-Mar-2011
From: Jolanda Voogd [Jolanda.Voogd at springer.com]
Subject: Hybrid Logic and its Proof-Theory: Braüner

-------------------------Message 1 ---------------------------------- 
Date: Mon, 14 Mar 2011 11:56:30
From: Jolanda Voogd [Jolanda.Voogd at springer.com]
Subject: Hybrid Logic and its Proof-Theory: Braüner

E-mail this message to a friend:
http://linguistlist.org/issues/emailmessage/verification.cfm?iss=22-1222.html&submissionid=4502876&topicid=2&msgnumber=1

Title: Hybrid Logic and its Proof-Theory 
Publication Year: 2011 
Publisher: Springer
	   http://www.springer.com

Book URL: http://www.springer.com/philosophy/logic+and+philosophy+of+language/book/978-94-007-0001-7 

Author: Torben Braüner

Hardback: ISBN:  9789400700017 Pages: 231 Price: U.S. $ 139.00

Abstract:

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. 

Linguistic Field(s): Computational Linguistics
                     Philosophy of Language

Written In: English  (eng)

See this book announcement on our website: 
http://linguistlist.org/pubs/books/get-book.cfm?BookID=53906

-------------------------------------------------------------------------------

This Year the LINGUIST List hopes to raise $67,000. This money will go to help 
keep the List running by supporting all of our Student Editors for the coming year.

See below for donation instructions, and don't forget to check out Fund 
Drive 2011 site!

http://linguistlist.org/fund-drive/2011/

There are many ways to donate to LINGUIST!

You can donate right now using our secure credit card form at  
https://linguistlist.org/donation/donate/donate1.cfm

Alternatively you can also pledge right now and pay later. To do so, go to: 
https://linguistlist.org/donation/pledge/pledge1.cfm

For all information on donating and pledging, including information on how to 
donate by check, money order, or wire transfer, please visit: 
http://linguistlist.org/donation/

The LINGUIST List is under the umbrella of Eastern Michigan University and as 
such can receive donations through the EMU Foundation, which is a registered 
501(c) Non Profit organization. Our Federal Tax number is 38-6005986. These 
donations can be offset against your federal and sometimes your state tax return 
(U.S. tax payers only). For more information visit the IRS Web-Site, or contact 
your financial advisor.

Many companies also offer a gift matching program, such that they will match 
any gift you make to a non-profit organization. Normally this entails your 
contacting your human resources department and sending us a form that the 
EMU Foundation fills in and returns to your employer. This is generally a simple 
administrative procedure that doubles the value of your gift to LINGUIST, without 
costing you an extra penny. Please take a moment to check if your company 
operates such a program.

Thank you very much for your support of LINGUIST!

MAJOR SUPPORTERS

	Brill          
		http://www.brill.nl	

	Cambridge Scholars Publishing          
		http://www.c-s-p.org	

	Cascadilla Press          
		http://www.cascadilla.com/	

	Continuum International Publishing Group Ltd          
		http://www.continuumbooks.com	

	De Gruyter Mouton          
		http://www.degruyter.com/mouton	

	Edinburgh University Press          
		http://www.eup.ed.ac.uk/	

	Elsevier Ltd          
		http://www.elsevier.com/linguistics	

	Emerald Group Publishing Limited          
		http://www.emeraldinsight.com/	

	Equinox Publishing Ltd          
		http://www.equinoxpub.com/	

	Georgetown University Press          
		http://www.press.georgetown.edu	

	John Benjamins          
		http://www.benjamins.com/	

	Lincom GmbH          
		http://www.lincom.eu	

	MIT Press          
		http://mitpress.mit.edu/	

	Morgan & Claypool Publishers          

	Multilingual Matters          
		http://www.multilingual-matters.com/	

	Oxford University Press          
		http://www.oup.com/us	

	Palgrave Macmillan          
		http://www.palgrave.com	

	Peter Lang AG          
		http://www.peterlang.com	

	Rodopi          
		http://www.rodopi.nl/	

	Routledge (Taylor and Francis)          
		http://www.routledge.com/	

	Springer          
		http://www.springer.com	

	University of Toronto Press          
		http://www.utpjournals.com/	

	Wiley-Blackwell          
		http://www.wiley.com	

OTHER SUPPORTING PUBLISHERS	

	Association of Editors of the Journal of Portuguese Linguistics
		http://www.fl.ul.pt/revistas/JPL/JPLweb.htm 

	Graduate Linguistic Students' Association, Umass
		http://glsa.hypermart.net/ 

	Linguistic Association of Finland
		http://www.ling.helsinki.fi/sky/ 

	Netherlands Graduate School of Linguistics / Landelijke - LOT
		http://www.lotpublications.nl/ 

	Pacific Linguistics
		http://pacling.anu.edu.au/ 

	SIL International
		http://www.ethnologue.com/bookstore.asp 

	University of Nebraska Press

-----------------------------------------------------------
LINGUIST List: Vol-22-1222	
----------------------------------------------------------