Восьмая Международная конференция серии «Advances in Modal Logic» (AiML 2010)

КОНФЕРЕНЦИИ

Восьмая Международная конференция серии «Advances in Modal Logic» (AiML 2010)
(24–27 августа 2010 г., г. Москва)

Организации
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва
Лаборатория Понселе
Московский центр непрерывного математического образования

Восьмая Международная конференция серии «Advances in Modal Logic» (AiML 2010), г. Москва, 24–27 августа 2010 г.

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