Sciweavers

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

11

CSL
2005
Springer

favoriteEmaildiscussreport

89views Automated Reasoning» more CSL 2005»

On the Complexity of Hybrid Logics with Binders

13 years 10 months ago

On the Complexity of Hybrid Logics with Binders

Download www.illc.uva.nl

Balder ten Cate, Massimo Franceschet

Real-time Traffic

CSL 2005 |

claim paper

Related Content

» Undecidability of Multimodal Hybrid Logics

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

» A Hybrid Public Announcement Logic with Distributed Knowledge

» Hybrid Logics on Linear Structures Expressivity and Complexity

» Tableaubased Decision Procedures for Hybrid Logic

» Hybrid Logics and Ontology Languages

» Conjunctive Query Answering for Description Logics with Transitive Roles

» A RoadMap on Complexity for Hybrid Logics

» Hybrid BranchingTime Logics

Post Info
More Details (n/a)

Added	26 Jun 2010
Updated	26 Jun 2010
Type	Conference
Year	2005
Where	CSL
Authors	Balder ten Cate, Massimo Franceschet

Comments (0)