|
|
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
© , 2024