* * * * * * * * * * * * * * * * * * * * * * * *
LINGUIST List logo Eastern Michigan University Wayne State University *
* People & Organizations * Jobs * Calls & Conferences * Publications * Language Resources * Text & Computer Tools * Teaching & Learning * Mailing Lists * Search *
* *
LINGUIST List 21.88

Thu Jan 07 2010

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

Editor for this issue: Fatemeh Abdollahi <fatemehlinguistlist.org>

Directory
        1.    Jasper de Vaal, Journal of Logic, Language and Information Vol 18, No 4 (2009)
Message 1: Journal of Logic, Language and Information Vol 18, No 4 (2009)
Date: 23-Dec-2009
From: Jasper de Vaal <jasper.devaalspringer.com>
Subject: Journal of Logic, Language and Information Vol 18, No 4 (2009)
E-mail this message to a friend

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
Read more issues|LINGUIST home page|Top of issue



Please report any bad links or misclassified data

LINGUIST Homepage | Read LINGUIST | Contact us

NSF Logo

While the LINGUIST List makes every effort to ensure the linguistic relevance of sites listed
on its pages, it cannot vouch for their contents.