|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
21 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability |
Abate, Pietro |
2009 |
231 | C |
p. 191-209 19 p. |
artikel |
|
| 2 | A Tableau Decision Procedure for ALC With Monotonic Modal Operators and Constant Domains |
Seylan, İnanç |
2009 |
231 | C |
p. 113-130 18 p. |
artikel |
|
| 3 | Aximo: Automated Axiomatic Reasoning for Information Update |
Richards, Simon |
2009 |
231 | C |
p. 211-225 15 p. |
artikel |
|
| 4 | CaRet With Forgettable Past |
Bozzelli, Laura |
2009 |
231 | C |
p. 343-361 19 p. |
artikel |
|
| 5 | CoLoSS: The Coalgebraic Logic Satisfiability Solver |
Calin, Georgel |
2009 |
231 | C |
p. 41-54 14 p. |
artikel |
|
| 6 | Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings |
Bresolin, Davide |
2009 |
231 | C |
p. 131-151 21 p. |
artikel |
|
| 7 | Completeness and Complexity of Multi-modal CTL |
Ågotnes, Thomas |
2009 |
231 | C |
p. 259-275 17 p. |
artikel |
|
| 8 | Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA |
Conradie, Willem |
2009 |
231 | C |
p. 175-190 16 p. |
artikel |
|
| 9 | Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations |
Balbiani, Philippe |
2009 |
231 | C |
p. 69-89 21 p. |
artikel |
|
| 10 | Equivalence Criteria for Compositional IF Modal Logics |
Tulenheimo, Tero |
2009 |
231 | C |
p. 153-173 21 p. |
artikel |
|
| 11 | Experiments in Theorem Proving for Topological Hybrid Logic |
Sustretov, Dmitry |
2009 |
231 | C |
p. 309-321 13 p. |
artikel |
|
| 12 | Global and Local Graph Modifiers |
Aucher, Guillaume |
2009 |
231 | C |
p. 293-307 15 p. |
artikel |
|
| 13 | HTab : a Terminating Tableaux System for Hybrid Logic |
Hoffmann, Guillaume |
2009 |
231 | C |
p. 3-19 17 p. |
artikel |
|
| 14 | Hybrid Tableaux for the Difference Modality |
Kaminski, Mark |
2009 |
231 | C |
p. 241-257 17 p. |
artikel |
|
| 15 | Intuitionistic Letcc via Labelled Deduction |
Reed, Jason |
2009 |
231 | C |
p. 91-111 21 p. |
artikel |
|
| 16 | Model-checking Timed Temporal Logics |
Bouyer, Patricia |
2009 |
231 | C |
p. 323-341 19 p. |
artikel |
|
| 17 | Preface |
Areces, Carlos |
2009 |
231 | C |
p. 1-2 2 p. |
artikel |
|
| 18 | Syntactic Cut-elimination for Common Knowledge |
Brünnler, Kai |
2009 |
231 | C |
p. 227-240 14 p. |
artikel |
|
| 19 | Terminating Tableau Calculi for Hybrid Logics Extending K |
Bolander, Thomas |
2009 |
231 | C |
p. 21-39 19 p. |
artikel |
|
| 20 | The Tableau Workbench |
Abate, Pietro |
2009 |
231 | C |
p. 55-67 13 p. |
artikel |
|
| 21 | The Tractability of Model-checking for LTL: The Good, the Bad, and the Ugly Fragments |
Bauland, Michael |
2009 |
231 | C |
p. 277-292 16 p. |
artikel |
21 gevonden resultaten