The eighth International сonference "Advances in Modal Logic" (AiML 2010)

CONFERENCES

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

Organisations
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

Some applications of universal models Dick de Jongh August 24, 2010 09:45 Moscow
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
Absolute completeness of $\mathsf{S4}_u$ for its measure-theoretic semantics David Fernández-Duque August 24, 2010 11:45 Moscow
Complete axiomatization of the Stutter-invariant fragment of the linear time $\mu$-calculus Amélie Gheerbrant August 24, 2010 12:20 Moscow
On the size of shortest modal descriptions Santiago Figueira, Daniel Gorín August 24, 2010 15:00 Moscow
Simulation of two dimensions in unimodal logics Ilya Shapirovsky August 24, 2010 15:35 Moscow
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
Future event logic – axioms and complexity Hans van Ditmarsch, Tim French, Sophie Pinchinat August 25, 2010 09:50 Moscow
Iterating model transformers: cycles and fixed points, paradoxes and learning Alexandru Baltag August 25, 2010 10:45 Moscow
Cut-elimination and proof search for bi-intuitionistic tense logic Rajeev Goré, Linda Postniece, Alwen Tiu August 25, 2010 11:50 Moscow
A syntactic realization theorem for justification logics Kai Brünnler, Remo Goetschi, Roman Kuznets August 25, 2010 12:25 Moscow
On modal logics of linear inequalities Clemens Kupke, Dirk Pattinson August 25, 2010 15:00 Moscow
Coalgebraic Lindström theorems Alexander Kurz, Yde Venema August 25, 2010 15:35 Moscow
Semantic characterization of Kracht formulas Stanislav Kikot August 26, 2010 09:15 Moscow
Logics of space with connectedness predicates: complete axiomatizations Tinko Tinchev, Dimiter Vakarelov August 26, 2010 09:50 Moscow
Expressive completeness Martin Otto August 26, 2010 10:45 Moscow
Uniform interpolation for monotone modal logic Santocanale Luigi, Yde Venema August 26, 2010 11:50 Moscow
A remark on propositional Kripke frames sound for intuitionistic logic Dmitrij Skvortsov August 27, 2010 09:15 Moscow
Bi-approximation semantics for substructural logic at work Tomoyuki Suzuki August 27, 2010 09:50 Moscow
Complexity of the Lambek calculus and its fragments Mati Pentus August 27, 2010 10:45 Moscow
A simple semantics for Aristotelian apodeictic syllogistics Sara L. Uckelman, Spencer Johnston August 27, 2010 12:25 Moscow
Weak interpolation property over the minimal logic Larisa Maksimova August 27, 2010 15:00 Moscow
On positive fragments of polymodal provability logic Evgenij Dashkov August 27, 2010 15:20 Moscow
Ceteris paribus logic Patrick Girard, Jeremy Seligman August 27, 2010 15:40 Moscow
Relevant agents Marta Bílková, Ondrej Majer, Michal Peliš, Greg Restall August 27, 2010 16:15 Moscow