Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top

Journal of Logic, Language and Information

Issue 4/2009

HYBRID LOGIC: Dedicated to the Memory of Volker Weber. Guest Editors: Torben Braüner and Thomas Bolander

Content (9 Articles)

Obituary

Volker Weber

Thomas Schwentick, Herik Björklund

Preface

Torben Braüner, Thomas Bolander

Terminating Tableau Systems for Hybrid Logic with Difference and Converse

Mark Kaminski, Gert Smolka

Model Checking for Hybrid Logic

Martin Lange

The Complexity of Hybrid Logics over Equivalence Relations

Martin Mundhenk, Thomas Schneider

Hybrid Counterfactual Logics

Katsuhiko Sano

Hybrid Logics of Separation Axioms

Dmitry Sustretov

Hybrid Logic Meets IF Modal Logic

Tero Tulenheimo

Branching-Time Logics Repeatedly Referring to States

Volker Weber

Jul 09
Issue: 3/2009
Jan 10
Issue: 1/2010

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits