Conferences in DBLP

(aiml)
2006 (conf/aiml/2006)

1. Renate A. Schmidt
   Developing Modal Tableaux and Resolution Methods via First-Order Resolution. [Citation Graph (0, 0)][DBLP]
   Advances in Modal Logic, 2006, pp:1-26 [Conf]
   
2. Valentin B. Shehtman
   Completeness and incompleteness in first-order modal logic: an overview. [Citation Graph (0, 0)][DBLP]
   Advances in Modal Logic, 2006, pp:27-30 [Conf]
   
3. Natasha Alechina, Dmitry Shkatov
   Logics with an existential modality. [Citation Graph (0, 0)][DBLP]
   Advances in Modal Logic, 2006, pp:31-48 [Conf]
   
4. Philippe Balbiani
   An expressive two-sorted spatial logic for plane projective geometry. [Citation Graph (0, 0)][DBLP]
   Advances in Modal Logic, 2006, pp:49-68 [Conf]
   
5. Philippe Balbiani, Ilya Shapirovsky, Valentin B. Shehtman
   Every world can see a Sahlqvist world. [Citation Graph (0, 0)][DBLP]
   Advances in Modal Logic, 2006, pp:69-85 [Conf]
   
6. Johan van Benthem, Eric Pacuit
   The Tree of Knowledge in Action: Towards a Common Perspective. [Citation Graph (0, 0)][DBLP]
   Advances in Modal Logic, 2006, pp:87-106 [Conf]
   
7. Kai Brünnler
   Deep Sequent Systems for Modal Logic. [Citation Graph (0, 0)][DBLP]
   Advances in Modal Logic, 2006, pp:107-0 [Conf]
   
8. Alexander V. Chagrov, Lilia Chagrova
   The Truth About Algorithmic Problems in Correspondence Theory. [Citation Graph (0, 0)][DBLP]
   Advances in Modal Logic, 2006, pp:121-138 [Conf]
   
9. Gaëlle Fontaine
   ML is not finitely axiomatizable over Cheq. [Citation Graph (0, 0)][DBLP]
   Advances in Modal Logic, 2006, pp:139-146 [Conf]
   
10. Tim French
    Bisimulation Quantified Modal Logics: Decidability. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2006, pp:147-166 [Conf]
    
11. Olivier Gasquet, Andreas Herzig, Mohamad Sahade
    Terminating modal tableaux with simple completeness proof. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2006, pp:167-186 [Conf]
    
12. Silvio Ghilardi, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
    Conservative extensions in modal logic. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2006, pp:187-207 [Conf]
    
13. Robert Goldblatt
    A Kripke-Joyal Semantics for Noncommutative Logic in Quantales. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2006, pp:209-225 [Conf]
    
14. Robert Goldblatt, Edwin D. Mares
    A General Semantics for Quantified Modal Logic. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2006, pp:227-246 [Conf]
    
15. Igor Gorbunov
    A decidable modal logic that is finitely undecidable. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2006, pp:247-258 [Conf]
    
16. Bernhard Heinemann
    Regarding Overlaps in 'Topologic'. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2006, pp:259-277 [Conf]
    
17. Lloyd Humberstone
    Weaker-to-Stronger Translational Embeddings in Modal Logic. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2006, pp:279-297 [Conf]
    
18. Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev
    Dynamic topological logics over spaces with continuous functions. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2006, pp:299-318 [Conf]
    
19. Andrey Kudinov
    Topological Modal Logics with Difference Modality. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2006, pp:319-332 [Conf]
    
20. Tadeusz Litak
    Isomorphism via translation. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2006, pp:333-351 [Conf]
    
21. Eric Martin
    Quantification over names and modalities. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2006, pp:353-372 [Conf]
    
22. Linh Anh Nguyen
    On the Deterministic Horn Fragment of Test-free PDL. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2006, pp:373-392 [Conf]
    
23. Mikhail N. Rybakov
    Complexity of intuitionistic and Visser's basic and formal logics in finitely many variables. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2006, pp:393-411 [Conf]
    
24. Ilya Shapirovsky
    Downward-directed transitive frames with universal relations. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2006, pp:413-428 [Conf]
    
25. Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev
    From topology to metric: modal logic and quantification in metric spaces. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2006, pp:429-448 [Conf]
    
26. Ricardo Sousa Silvestre
    Modality, Paraconsistency and Paracompleteness. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2006, pp:449-467 [Conf]
    
27. Hiroki Takamura
    The variety of modal FL_ew-algebras is generated by its finite simple members. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2006, pp:469-479 [Conf]
    
28. Tero Tulenheimo, Merlijn Sevenster
    On Modal Logic, IF Logic, and IF Modal Logic. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2006, pp:481-501 [Conf]
    
29. Heinrich Wansing
    Tableaux for multi-agent deliberative-stit logic. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2006, pp:503-520 [Conf]