Volume 174; Issue 6

1

Hybrid Logics and Ontology Languages

Year:
2007
Language:
english
File:
PDF, 288 KB
english, 2007
2

Testing XML constraint satisfiability

Year:
2007
Language:
english
File:
PDF, 376 KB
english, 2007
3

Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems

Year:
2007
Language:
english
File:
PDF, 340 KB
english, 2007
4

A Hybridization of Irreflexive Modal Logics

Year:
2007
Language:
english
File:
PDF, 381 KB
english, 2007
6

Preface

Year:
2007
Language:
english
File:
PDF, 97 KB
english, 2007
7

Higher-Order Syntax and Saturation Algorithms for Hybrid Logic

Year:
2007
Language:
english
File:
PDF, 297 KB
english, 2007
8

Undecidability of Multi-modal Hybrid Logics

Year:
2007
Language:
english
File:
PDF, 361 KB
english, 2007
9

Topological Perspective on the Hybrid Proof Rules

Year:
2007
Language:
english
File:
PDF, 345 KB
english, 2007
10

Hybridizing a Logical Framework

Year:
2007
Language:
english
File:
PDF, 309 KB
english, 2007