|
|
Invited talks
Regular talks
-
Gerard Allwein and William Harrison.
Partially-ordered Modalities
slides
-
Marta Bílková, Ondrej Majer, Michal Peliš and Greg Restall.
Relevant Agents
video
-
Kai Brünnler, Remo Goetschi and Roman Kuznets.
A Syntactic Realization Theorem for Justification Logics
slides  
video
-
Serenella Cerrito and Marta Cialdea Mayer.
Nominal Substitution at work with the Global and Converse Modalities
-
Hans van Ditmarsch, Tim French and Sophie Pinchinat.
Future event logic - axioms and complexity
slides  
video
-
David Fernandéz.
Absolute Completeness of S4 for its Measure-Theoretic
Semantics
video
-
Santiago Figueira and Daniel Gorín.
On the size of shortest modal descriptions
slides  
video
-
Amélie Gheerbrant.
Complete axiomatization of the stutter-in
variant fragment of the linear
time mu-calculus
video
-
Rajeev Goré, Linda Postniece and Alwen Tiu.
Cut-elimination and Proof Search for Bi-Intuitionistic Tense Logic
slides  
video
-
Wesley Holliday and Thomas Icard.
Moorean Phenomena in Epistemic Logic
-
Ryo Kashima.
Completeness proof by semantic diagrams for transitive closure
of accessibility relation
-
Stanislav Kikot.
Semantic characterization of Kracht formulas
slides  
video
-
Agi Kurucz.
On the complexity of modal axiomatisations over many-dimensional structures
-
Agi Kurucz, Frank Wolter and Michael Zakharyaschev.
Islands of tractability for relational constraints: towards dichotomy results
for the description logic EL
video
-
Alexander Kurz and Yde Venema.
Coalgebraic Lindstrom Theorems
video
-
Clemens Kupke and Dirk Pattinson. On Modal Logics of Linear Inequalities
video
-
Katsuhiko Sano and Minghui Ma.
Goldblatt-Thomason-style Theorems for Graded Modal Language
slides
-
Luigi Santocanale and Yde Venema.
Uniform Interpolation for Monotone Modal Logic
video
-
Dmitry Skvortsov.
A Remark on Propositional Kripke Frames Sound for Intuitionistic Logic
video
-
Ilya Shapirovsky.
Simulation of two dimensions in unimodal logics
video
-
Tomoyuki Suzuki.
Bi-approximation Semantics for Substructural Logic at Work
video
-
Tinko Tinchev and Dimiter Vakarelov.
Logics of Space with Connectedness Predicates: Complete Axiomatizations
slides  
video
-
Sara L. Uckelman and Spencer Johnston.
A Simple Semantics for Aristotelian Apodeictic Syllogistics
slides  
video
-
Eric Ufferman, Pedro Gongora and Francisco Hernandez-Quiroz.
A Complete Proof System for a Dynamic Epistemic Logic based upon
Finitepi-Calculus Processes
video
Abstract presentations
-
Philippe Balbiani and Andrey Kudinov.
A topological interpretation of public announcement logic
- Philippe Balbiani, Olivier Gasquet and François Schwarzentruber.
Epistemic reasoning in Lineland
-
Marta Bílková, Jiři Velebil and Yde Venema.
On monotone modalities
and adjointness
-
Katarina Britz, Johannes Heidema and Ivan Varzinczak.
Pertinence Construed Modally
slides
-
Alexander Chagrov and Lilia Chagrova. Undecidability of the
Problem of Topological Completeness of Normal Extensions of S4
-
Evgeny Dashkov. On positive fragments of polymodal provability logic
video
-
Hans van Ditmarsch and Tim French. Becoming Aware
- Patrick Girard and Jeremy Seligman.
Ceteris Paribus Logic
video
-
Mikhail Golovanov. About an example of decidable finitely
axiomatizable K4-logic undecidable with respect to admissibility of
inference rules
-
Simon Kramer. An Intuitionistic Foundation for Interactive
Computation
-
Larisa Maksimova. Weak Interpolation Property over the Minimal
Logic
slides  
video
-
Grigory Olkhovikov. Second-Order Theory Delta As a Tool for
Description of Modal Semantics
-
Eric Pacuit and Sunil Simon.
Reasoning with Protocols Under Imperfect Information
-
Timofei Shatrov. Superintuitionistic logics of atomless
sub-Boolean Kripke frames
-
Levan Uridia. Common belief of normal agents
|
What's New
Important Dates
- Papers submission deadline
16 March 2010
- Papers acceptance notification
21 May 2010
- Extended abstracts submission deadline
1 June 2010
- Extended abstracts acceptance notification
21 June 2010
- Final version of papers and abstracts due
25 June 2010
- Conference
24-27 August 2010
|
|
|