Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

71

CORR
2008
Springer

94views Education» more CORR 2008»

Complexity of Hybrid Logics over Transitive Frames

15 years 2 months ago

Complexity of Hybrid Logics over Transitive Frames

Download www.csc.liv.ac.uk

Martin Mundhenk, Thomas Schneider 0002, Thomas Sch

Real-time Traffic

CORR 2008 | Education |

claim paper

Related Content

» The complexity of satisfiability for fragments of hybrid logic Part I

» Undecidability of Multimodal Hybrid Logics

» Hybrid logic with the difference modality for generalisations of graphs

» Temporal Logics over Transitive States

» Monadic SecondOrder Logic and Transitive Closure Logics over Trees

» Modal Characterisation Theorems over Special Classes of Frames

» Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems

» On the Undecidability of Description and Dynamic Logics with Recursion and Counting

» Building Leadership for Life Cycle Business Transition by Hybrid Innovation

Post Info
More Details (n/a)

Added	09 Dec 2010
Updated	09 Dec 2010
Type	Journal
Year	2008
Where	CORR
Authors	Martin Mundhenk, Thomas Schneider 0002, Thomas Schwentick, Volker Weber

Comments (0)