Conferences in DBLP

(aiml)
2002 (conf/aiml/2002)

1. Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev
   Editorial Preface. [Citation Graph (0, 0)][DBLP]
   Advances in Modal Logic, 2002, pp:- [Conf]
   
2. Kai Engelhardt, Ron van der Meyden, Kaile Su
   Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers. [Citation Graph (0, 0)][DBLP]
   Advances in Modal Logic, 2002, pp:9-30 [Conf]
   
3. Torben Braüner
   Functional Completenes for a Natural Deduction Formulation of Hybridized S5. [Citation Graph (0, 0)][DBLP]
   Advances in Modal Logic, 2002, pp:31-50 [Conf]
   
4. Jan Broersen
   Relativized Action Complement for Dynamic Logics. [Citation Graph (0, 0)][DBLP]
   Advances in Modal Logic, 2002, pp:51-70 [Conf]
   
5. Alexander V. Chagrov, Mikhail N. Rybakov
   How Many Variables Does One Need to Prove PSPACE-hardness of Modal Logics. [Citation Graph (0, 0)][DBLP]
   Advances in Modal Logic, 2002, pp:71-82 [Conf]
   
6. Rogerio Fajardo, Marcelo Finger
   Non-normal Modalisation. [Citation Graph (0, 0)][DBLP]
   Advances in Modal Logic, 2002, pp:83-96 [Conf]
   
7. Melvin Fitting
   Bisimulations and Boolean Vectors. [Citation Graph (0, 0)][DBLP]
   Advances in Modal Logic, 2002, pp:97-126 [Conf]
   
8. Tim French, Mark Reynolds
   A Sound and Complete Proof System for QPTL. [Citation Graph (0, 0)][DBLP]
   Advances in Modal Logic, 2002, pp:127-148 [Conf]
   
9. Robert Goldblatt
   Equational Logic of Polynomial Coalgebras. [Citation Graph (0, 0)][DBLP]
   Advances in Modal Logic, 2002, pp:149-184 [Conf]
   
10. Bernhard Heinemann
    Towards Uniform Reasoning via Structured Subset Spaces. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2002, pp:185-204 [Conf]
    
11. Gabriel G. Infante López, Carlos Areces, Maarten de Rijke
    Controlled Model Exploration. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2002, pp:205-220 [Conf]
    
12. Ágnes Kurucz, Michael Zakharyaschev
    A Note on Relativised Products of Modal Logics. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2002, pp:221-242 [Conf]
    
13. Marcus Kracht
    Notes on the Space Requirements for Checking Satisfiability in Modal Logics. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2002, pp:243-264 [Conf]
    
14. Carsten Lutz
    Description Logics with Concrete Domains-A Survey. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2002, pp:265-296 [Conf]
    
15. Larisa Maksimova
    Restricted Interpolation in Modal Logics. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2002, pp:297-312 [Conf]
    
16. Yutaka Miyazaki
    Binary Logics, Orthologics, and their Relations to Normal Modal Logics. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2002, pp:313-334 [Conf]
    
17. Hiroakira Ono
    Completions of Algebras and Completeness of Modal and Substructural Logics. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2002, pp:335-370 [Conf]
    
18. Renate A. Schmidt, Dmitry Tishkovsky
    Combining Dynamic Logic with Doxastic Modal Logics. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2002, pp:371-392 [Conf]
    
19. Ph. Schnoebelen
    The Complexity of Temporal Logic Model Checking. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2002, pp:393-436 [Conf]
    
20. Ilya Shapirovsky, Valentin B. Shehtman
    Chronological Future Modality in Minkowski Spacetime. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2002, pp:437-460 [Conf]
    
21. Dmitrij P. Skvortsov
    An Incompleteness Resuit for Predicate Extensions of Intermediate Propositional Logics. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2002, pp:461-474 [Conf]
    
22. Tero Tulenheimo
    On IF Modal Logic and its Expressive Power. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2002, pp:475-498 [Conf]
    
23. Dimiter Vakarelov
    Modal Definability in Languages with a Finite Number of Propositional Variables and a New Extension of the Sahlqvist's Class. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2002, pp:499-518 [Conf]