21.88, TOC: Journal of Logic, Language and Information 18/4 (2009)

[linguist at LINGUISTLIST.ORG]

LINGUIST List: Vol-21-88. Thu Jan 07 2010. ISSN: 1068 - 4875.

Subject: 21.88, TOC: Journal of Logic, Language and Information 18/4 (2009)

Moderators: Anthony Aristar, Eastern Michigan U <aristar at linguistlist.org>
            Helen Aristar-Dry, Eastern Michigan U <hdry at linguistlist.org>
 
Reviews: Monica Macaulay, U of Wisconsin-Madison  
Eric Raimy, 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>
================================================================  


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

1)
Date: 23-Dec-2009
From: Jasper de Vaal < jasper.devaal at springer.com >
Subject: Journal of Logic, Language and Information Vol 18, No 4 (2009)
 

	
-------------------------Message 1 ---------------------------------- 
Date: Thu, 07 Jan 2010 16:33:22
From: Jasper de Vaal [jasper.devaal at springer.com]
Subject: Journal of Logic, Language and Information Vol 18, No 4 (2009)

E-mail this message to a friend:
http://linguistlist.org/issues/emailmessage/verification.cfm?iss=21-88.html&submissionid=2232697&topicid=11&msgnumber=1
  


Publisher:	Springer
			http://www.springer.com 			
			
Journal Title:  Journal of Logic, Language and Information 
Volume Number:  18 
Issue Number:  4 
Issue Date:  2009 


Subtitle:  Hybrid Logic: Dedicated to the Memory of Volker Weber   


Main Text:  

Guest Editors: Torben Braüner and Thomas Bolander 

Obituary
Volker Weber
Thomas Schwentick, Herik Björklund
http://dx.doi.org/10.1007/s10849-009-9097-6
Pages 433	 

Preface
Torben Braüner, Thomas Bolander
http://dx.doi.org/10.1007/s10849-009-9094-9
Pages 435 - 436	 

Terminating Tableau Systems for Hybrid Logic with Difference and Converse
Mark Kaminski, Gert Smolka
http://dx.doi.org/10.1007/s10849-009-9087-8
Pages	437 - 464	

Model Checking for Hybrid Logic
Martin Lange
http://dx.doi.org/10.1007/s10849-009-9088-7
Pages 	465 - 491	

The Complexity of Hybrid Logics over Equivalence Relations
Martin Mundhenk, Thomas Schneider
http://dx.doi.org/10.1007/s10849-009-9089-6
Pages	493 - 514	

Hybrid Counterfactual Logics
Katsuhiko Sano
http://dx.doi.org/10.1007/s10849-009-9090-0
Pages	515 - 539	

Hybrid Logics of Separation Axioms
Dmitry Sustretov
http://dx.doi.org/10.1007/s10849-009-9091-z
Pages 	541 - 558	

Hybrid Logic Meets IF Modal Logic
Tero Tulenheimo
http://dx.doi.org/10.1007/s10849-009-9092-y
Pages 	559 - 591	

Branching-Time Logics Repeatedly Referring to States
Volker Weber
http://dx.doi.org/10.1007/s10849-009-9093-x
Pages 	593 - 624 


Linguistic Field(s): Semantics
                     Cognitive Science
                     Computational Linguistics




-----------------------------------------------------------
LINGUIST List: Vol-21-88