|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Branching-Time Logics Repeatedly Referring to States |
Weber, Volker |
2009 |
18 | 4 |
p. 593-624 |
artikel |
|
| 2 | Hybrid Counterfactual Logics |
Sano, Katsuhiko |
2009 |
18 | 4 |
p. 515-539 |
artikel |
|
| 3 | Hybrid Logic Meets IF Modal Logic |
Tulenheimo, Tero |
2009 |
18 | 4 |
p. 559-591 |
artikel |
|
| 4 | Hybrid Logics of Separation Axioms |
Sustretov, Dmitry |
2009 |
18 | 4 |
p. 541-558 |
artikel |
|
| 5 | Model Checking for Hybrid Logic |
Lange, Martin |
2009 |
18 | 4 |
p. 465-491 |
artikel |
|
| 6 | Preface |
Braüner, Torben |
2009 |
18 | 4 |
p. 435-436 |
artikel |
|
| 7 | Terminating Tableau Systems for Hybrid Logic with Difference and Converse |
Kaminski, Mark |
2009 |
18 | 4 |
p. 437-464 |
artikel |
|
| 8 | The Complexity of Hybrid Logics over Equivalence Relations |
Mundhenk, Martin |
2009 |
18 | 4 |
p. 493-514 |
artikel |
|
| 9 | Volker Weber |
Schwentick, Thomas |
2009 |
18 | 4 |
p. 433 |
artikel |
9 gevonden resultaten