RUS
ENG
Full version
CONFERENCES
The eighth International сonference "Advances in Modal Logic" (AiML 2010)
(
August 24–27, 2010
, Moscow)
Website:
https://aiml10.mi-ras.ru
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 Lindströ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
©
Steklov Math. Inst. of RAS
, 2024