RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ


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

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

E-mail:
Website: http://aiml10.mi.ras.ru


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


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

24 августа 2010 г.
1. Some applications of universal models
Dick de Jongh
24 августа 2010 г. 09:45, г. Москва
Dick de Jongh
  
2. 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, г. Москва
Agi Kurucz, Frank Wolter, Michael Zakharyaschev
  
3. Absolute completeness of $\mathsf{S4}_u$ for its measure-theoretic semantics
David Fernández-Duque
24 августа 2010 г. 11:45, г. Москва
David Fernández-Duque
  
4. Complete axiomatization of the Stutter-invariant fragment of the linear time $\mu$-calculus
Amélie Gheerbrant
24 августа 2010 г. 12:20, г. Москва
Amélie Gheerbrant
  
5. On the size of shortest modal descriptions
Santiago Figueira, Daniel Gorín
24 августа 2010 г. 15:00, г. Москва
Santiago Figueira, Daniel Gorín
  
6. Simulation of two dimensions in unimodal logics
Ilya Shapirovsky
24 августа 2010 г. 15:35, г. Москва
Ilya Shapirovsky
  

25 августа 2010 г.
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
25 августа 2010 г. 09:15, г. Москва
Eric Ufferman, Pedro Arturo Góngora, Francisco Hernández-Quiroz
  
8. Future event logic – axioms and complexity
Hans van Ditmarsch, Tim French, Sophie Pinchinat
25 августа 2010 г. 09:50, г. Москва
Hans van Ditmarsch, Tim French, Sophie Pinchinat
  
9. Iterating model transformers: cycles and fixed points, paradoxes and learning
Alexandru Baltag
25 августа 2010 г. 10:45, г. Москва
Alexandru Baltag
  
10. Cut-elimination and proof search for bi-intuitionistic tense logic
Rajeev Goré, Linda Postniece, Alwen Tiu
25 августа 2010 г. 11:50, г. Москва
Rajeev Goré, Linda Postniece, Alwen Tiu
  
11. A syntactic realization theorem for justification logics
Kai Brünnler, Remo Goetschi, Roman Kuznets
25 августа 2010 г. 12:25, г. Москва
Kai Brünnler, Remo Goetschi, Roman Kuznets
  
12. On modal logics of linear inequalities
Clemens Kupke, Dirk Pattinson
25 августа 2010 г. 15:00, г. Москва
Clemens Kupke, Dirk Pattinson
  
13. Coalgebraic Lindström theorems
Alexander Kurz, Yde Venema
25 августа 2010 г. 15:35, г. Москва
Alexander Kurz, Yde Venema
  

26 августа 2010 г.
14. Semantic characterization of Kracht formulas
Stanislav Kikot
26 августа 2010 г. 09:15, г. Москва
Stanislav Kikot
  
15. Logics of space with connectedness predicates: complete axiomatizations
Tinko Tinchev, Dimiter Vakarelov
26 августа 2010 г. 09:50, г. Москва
Tinko Tinchev, Dimiter Vakarelov
  
16. Expressive completeness
Martin Otto
26 августа 2010 г. 10:45, г. Москва
Martin Otto
  
17. Uniform interpolation for monotone modal logic
Santocanale Luigi, Yde Venema
26 августа 2010 г. 11:50, г. Москва
Santocanale Luigi, Yde Venema
  

27 августа 2010 г.
18. A remark on propositional Kripke frames sound for intuitionistic logic
Dmitrij Skvortsov
27 августа 2010 г. 09:15, г. Москва
Dmitrij Skvortsov
  
19. Bi-approximation semantics for substructural logic at work
Tomoyuki Suzuki
27 августа 2010 г. 09:50, г. Москва
Tomoyuki Suzuki
  
20. Complexity of the Lambek calculus and its fragments
Mati Pentus
27 августа 2010 г. 10:45, г. Москва
Mati Pentus
  
21. A simple semantics for Aristotelian apodeictic syllogistics
Sara L. Uckelman, Spencer Johnston
27 августа 2010 г. 12:25, г. Москва
Sara L. Uckelman, Spencer Johnston
  
22. Weak interpolation property over the minimal logic
Larisa Maksimova
27 августа 2010 г. 15:00, г. Москва
Larisa Maksimova
  
23. On positive fragments of polymodal provability logic
Evgenij Dashkov
27 августа 2010 г. 15:20, г. Москва
Evgenij Dashkov
  
24. Ceteris paribus logic
Patrick Girard, Jeremy Seligman
27 августа 2010 г. 15:40, г. Москва
Patrick Girard, Jeremy Seligman
  
25. Relevant agents
Marta Bílková, Ondrej Majer, Michal Peliš, Greg Restall
27 августа 2010 г. 16:15, г. Москва
Marta Bílková, Ondrej Majer, Michal Peliš, Greg Restall
  
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2017