|
Восьмая Международная конференция серии «Advances in Modal Logic» (AiML 2010), г. Москва, 24–27 августа 2010 г. |
|
|
24 августа 2010 г. (вт) |
![](/gifs/1pts.gif) |
1. |
Some applications of universal models Dick de Jongh 24 августа 2010 г. 09:45, г. Москва
|
|
|
|
![](/gifs/1pts.gif) |
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, г. Москва
|
|
|
|
![](/gifs/1pts.gif) |
3. |
Absolute completeness of $\mathsf{S4}_u$ for its measure-theoretic semantics David Fernández-Duque 24 августа 2010 г. 11:45, г. Москва
|
|
|
|
![](/gifs/1pts.gif) |
4. |
Complete axiomatization of the Stutter-invariant fragment of the linear time $\mu$-calculus Amélie Gheerbrant 24 августа 2010 г. 12:20, г. Москва
|
|
|
|
![](/gifs/1pts.gif) |
5. |
On the size of shortest modal descriptions Santiago Figueira, Daniel Gorín 24 августа 2010 г. 15:00, г. Москва
|
|
|
|
![](/gifs/1pts.gif) |
6. |
Simulation of two dimensions in unimodal logics Ilya Shapirovsky 24 августа 2010 г. 15:35, г. Москва
|
|
|
|
|
|
25 августа 2010 г. (ср) |
![](/gifs/1pts.gif) |
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, г. Москва
|
|
|
|
![](/gifs/1pts.gif) |
8. |
Future event logic – axioms and complexity Hans van Ditmarsch, Tim French, Sophie Pinchinat 25 августа 2010 г. 09:50, г. Москва
|
|
|
|
![](/gifs/1pts.gif) |
9. |
Iterating model transformers: cycles and fixed points, paradoxes and learning Alexandru Baltag 25 августа 2010 г. 10:45, г. Москва
|
|
|
|
![](/gifs/1pts.gif) |
10. |
Cut-elimination and proof search for bi-intuitionistic tense logic Rajeev Goré, Linda Postniece, Alwen Tiu 25 августа 2010 г. 11:50, г. Москва
|
|
|
|
![](/gifs/1pts.gif) |
11. |
A syntactic realization theorem for justification logics Kai Brünnler, Remo Goetschi, Roman Kuznets 25 августа 2010 г. 12:25, г. Москва
|
|
|
|
![](/gifs/1pts.gif) |
12. |
On modal logics of linear inequalities Clemens Kupke, Dirk Pattinson 25 августа 2010 г. 15:00, г. Москва
|
|
|
|
![](/gifs/1pts.gif) |
13. |
Coalgebraic Lindström theorems Alexander Kurz, Yde Venema 25 августа 2010 г. 15:35, г. Москва
|
|
|
|
|
|
26 августа 2010 г. (чт) |
![](/gifs/1pts.gif) |
14. |
Semantic characterization of Kracht formulas Stanislav Kikot 26 августа 2010 г. 09:15, г. Москва
|
|
|
|
![](/gifs/1pts.gif) |
15. |
Logics of space with connectedness predicates: complete axiomatizations Tinko Tinchev, Dimiter Vakarelov 26 августа 2010 г. 09:50, г. Москва
|
|
|
|
![](/gifs/1pts.gif) |
16. |
Expressive completeness Martin Otto 26 августа 2010 г. 10:45, г. Москва
|
|
|
|
![](/gifs/1pts.gif) |
17. |
Uniform interpolation for monotone modal logic Santocanale Luigi, Yde Venema 26 августа 2010 г. 11:50, г. Москва
|
|
|
|
|
|
27 августа 2010 г. (пт) |
![](/gifs/1pts.gif) |
18. |
A remark on propositional Kripke frames sound for intuitionistic logic Dmitrij Skvortsov 27 августа 2010 г. 09:15, г. Москва
|
|
|
|
![](/gifs/1pts.gif) |
19. |
Bi-approximation semantics for substructural logic at work Tomoyuki Suzuki 27 августа 2010 г. 09:50, г. Москва
|
|
|
|
![](/gifs/1pts.gif) |
20. |
Complexity of the Lambek calculus and its fragments Mati Pentus 27 августа 2010 г. 10:45, г. Москва
|
|
|
|
![](/gifs/1pts.gif) |
21. |
A simple semantics for Aristotelian apodeictic syllogistics Sara L. Uckelman, Spencer Johnston 27 августа 2010 г. 12:25, г. Москва
|
|
|
|
![](/gifs/1pts.gif) |
22. |
Weak interpolation property over the minimal logic Larisa Maksimova 27 августа 2010 г. 15:00, г. Москва
|
|
|
|
![](/gifs/1pts.gif) |
23. |
On positive fragments of polymodal provability logic Evgenij Dashkov 27 августа 2010 г. 15:20, г. Москва
|
|
|
|
![](/gifs/1pts.gif) |
24. |
Ceteris paribus logic Patrick Girard, Jeremy Seligman 27 августа 2010 г. 15:40, г. Москва
|
|
|
|
![](/gifs/1pts.gif) |
25. |
Relevant agents Marta Bílková, Ondrej Majer, Michal Peliš, Greg Restall 27 августа 2010 г. 16:15, г. Москва
|
|
|
|
![](/gifs/1pts.gif) |