The eighth International сonference "Advances in Modal Logic" (AiML 2010) (August 24–27, 2010, Moscow)

The eighth International сonference "Advances in Modal Logic" (AiML 2010), Moscow, August 24–27, 2010 


August 24, 2010 (Tue) 

1. 
Some applications of universal models Dick de Jongh August 24, 2010 09:45, Moscow





2. 
Islands of tractability for relational constraints: towards dichotomy results for the description logic $\mathcal{EL}$ Agi Kurucz, Frank Wolter, Michael Zakharyaschev August 24, 2010 10:50, Moscow





3. 
Absolute completeness of $\mathsf{S4}_u$ for its measuretheoretic semantics David FernándezDuque August 24, 2010 11:45, Moscow





4. 
Complete axiomatization of the Stutterinvariant fragment of the linear time $\mu$calculus Amélie Gheerbrant August 24, 2010 12:20, Moscow





5. 
On the size of shortest modal descriptions Santiago Figueira, Daniel Gorín August 24, 2010 15:00, Moscow





6. 
Simulation of two dimensions in unimodal logics Ilya Shapirovsky August 24, 2010 15:35, Moscow






August 25, 2010 (Wed) 

7. 
A complete proof system for a dynamic epistemic logic based upon finite $\pi$calculus processes Eric Ufferman, Pedro Arturo Góngora, Francisco HernándezQuiroz August 25, 2010 09:15, Moscow





8. 
Future event logic – axioms and complexity Hans van Ditmarsch, Tim French, Sophie Pinchinat August 25, 2010 09:50, Moscow





9. 
Iterating model transformers: cycles and fixed points, paradoxes and learning Alexandru Baltag August 25, 2010 10:45, Moscow





10. 
Cutelimination and proof search for biintuitionistic tense logic Rajeev Goré, Linda Postniece, Alwen Tiu August 25, 2010 11:50, Moscow





11. 
A syntactic realization theorem for justification logics Kai Brünnler, Remo Goetschi, Roman Kuznets August 25, 2010 12:25, Moscow





12. 
On modal logics of linear inequalities Clemens Kupke, Dirk Pattinson August 25, 2010 15:00, Moscow





13. 
Coalgebraic Lindström theorems Alexander Kurz, Yde Venema August 25, 2010 15:35, Moscow






August 26, 2010 (Thu) 

14. 
Semantic characterization of Kracht formulas Stanislav Kikot August 26, 2010 09:15, Moscow





15. 
Logics of space with connectedness predicates: complete axiomatizations Tinko Tinchev, Dimiter Vakarelov August 26, 2010 09:50, Moscow





16. 
Expressive completeness Martin Otto August 26, 2010 10:45, Moscow





17. 
Uniform interpolation for monotone modal logic Santocanale Luigi, Yde Venema August 26, 2010 11:50, Moscow






August 27, 2010 (Fri) 

18. 
A remark on propositional Kripke frames sound for intuitionistic logic Dmitrij Skvortsov August 27, 2010 09:15, Moscow





19. 
Biapproximation semantics for substructural logic at work Tomoyuki Suzuki August 27, 2010 09:50, Moscow





20. 
Complexity of the Lambek calculus and its fragments Mati Pentus August 27, 2010 10:45, Moscow





21. 
A simple semantics for Aristotelian apodeictic syllogistics Sara L. Uckelman, Spencer Johnston August 27, 2010 12:25, Moscow





22. 
Weak interpolation property over the minimal logic Larisa Maksimova August 27, 2010 15:00, Moscow





23. 
On positive fragments of polymodal provability logic Evgenij Dashkov August 27, 2010 15:20, Moscow





24. 
Ceteris paribus logic Patrick Girard, Jeremy Seligman August 27, 2010 15:40, Moscow





25. 
Relevant agents Marta Bílková, Ondrej Majer, Michal Peliš, Greg Restall August 27, 2010 16:15, Moscow





