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

Website: https://aiml10.mi-ras.ru Institutions Steklov Mathematical Institute of Russian Academy of Sciences, Moscow Laboratoire J.-V. Poncelet Moscow Center for Continuous Mathematical Education

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 measure-theoretic semantics David Fernández-Duque August 24, 2010 11:45, Moscow
4.	Complete axiomatization of the Stutter-invariant 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ández-Quiroz 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.	Cut-elimination and proof search for bi-intuitionistic 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.	Bi-approximation 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