AiML-06: List of Accepted Papers
1. Natasha Alechina and Dmitry Shkatov. Logics with an existential modality2. Philippe Balbiani, Valentin Shehtman and Ilya Shapirovsky. On some modal logics related to McKinsey axiom
3. Philippe Balbiani. An expressive two-sorted spatial logic for plane projective geometry
4. Johan van Benthem and Eric Pacuit. The Tree of Knowledge in Action: Towards a Common Perspective
5. Kai Brünnler. Deep Sequent Systems for Modal Logic
6. Alexander and Lydia Chagrov. Truth About Algorithmic Problems in Correspondence Theory
7. Gaelle Fontaine. ML is not finitely axiomatizable over Cheq
8. Tim French. Bisimulation quantified logics: decidability
9. Silvio Ghilardi, Carsten Lutz, Frank Wolter and Michael Zakharyaschev. Conservative Extensions in Modal Logic
10. Robert Goldblatt and Edwin Mares. A General Semantics for Quantified Modal Logic
11. Robert Goldblatt. A Kripke-Joyal Semantics for Noncommutative Logic in Quantales
12. Igor Gorbunov. A decidable modal logic that is finitely undecidable
13. Bernhard Heinemann. Regarding Overlaps in `Topologic'
14. Lloyd Humberstone. Weaker-to-Stronger Translational Embeddings in Modal Logic
15. Boris Konev, Roman Kontchakov, Frank Wolter and Michael Zakharyaschev. Dynamic topological logics over spaces with continuous functions
16. Andrey Kudinov. Topological Modal Logics with Difference Modality.
17. Tadeusz Litak. On The Gargov-Goranko Translation
18. Eric Martin. Quantification over names and modalities
19. Linh Anh Nguyen. On the Deterministic Horn Fragment of Test-free PDL
20. Gasquet Olivier, Andreas Herzig and Mohamad Saade. Terminating modal tableaux with simple completeness proof
21. Mikhail Rybakov. Complexity of intuitionistic and Visser's basic logic in finitely many variables
22. Ilya Shapirovsky. Universal modality and Common Past axiom
23. Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter and Michael Zakharyaschev. From topology to metric: modal logic and quantification in metric spaces
24. Ricardo Silvestre. Modality, Paraconsistency and Paracompleteness
25. Hiroki Takamura. The variety of modal ${\bf FL}_{ew}$-algebras is generated by its finite simple members
26. Tero Tulenheimo and Merlijn Sevenster. On Modal Logic, IF Logic and IF Modal Logic
27. Heinrich Wansing. Tableaux for multi-agent deliberative-stit logic