Accepted Papers

Proceedings will be published in the Springer series Lecture Notes in Computer Science (LNCS).

A post-conference volume of selected works will be published in the Annals of Pure and Applied Logic (APAL).

1. Luca Aceto, Anna Ingolfsdottir, Cristian Prisacariu and Joshua Sack. Compositional Reasoning for Epistemic Logics

2. Evangelia Antonakos. Explicit Generic Common Knowledge

3. Gilles Barthe, Juan Manuel Crespo and César Kunz. Beyond 2-safety: asymmetric product programs for relational program verification

4. Marc Bender and Jeff Zucker. Assignment Calculus: A Case Study in Imperative Reasoning

5. Thomas Brihaye, Julie De Pril and Sven Schewe. Multiplayer Cost Games with Simple Nash Equilibria

6. Alex Brik and Jeffrey Remmel. Forward Chaining for Hybrid ASP

7. John Case, Sanjay Jain and Frank Stephan. Effectivity Questions for Kleene’s Recursion Theorem

8. Douglas Cenzer and Jeffrey Remmel. Sub-computable bounded pseudorandomness

9. Agata Ciabattoni, Ori Lahav, Lara Spendier and Anna Zamansky. Automated Support for the Investigation of Paraconsistent and Other Logics

10. Jean-René Courtault and Didier Galmiche. A Modal BI Logic for Dynamic Resources Properties

11. Benoit Delahaye, Axel Legay and Kim Guldstrand Larsen. Stuttering for Abstract Probabilistic Automata

12. Alejandro Díaz-Caro, Giulio Manzonetto and Michele Pagani. Call-by-Value Non-determinism in a Linear Logic Type Discipline

13. Jacques Duparc, Olivier Finkel and Jean-Pierre Ressayre. The Wadge Hierarchy of Petri Nets omega-Language

14. Konstantinos Georgatos. Iterated Contraction Based on Indistinguishability

15. Jeroen Goudsmit. A Note on Extensions: Admissible Rules via Semantics

16. Bernhard Heinemann. Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference

17. Ping Hou. Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems

18. Rutger Kuyper. Computational Hardness of Validity in Probability Logic

19. Roman Kuznets and Thomas Studer. Update As Evidence: Belief Expansion

20. Robert Lubarsky and Hannes Diener. Separating the Fan Theorem and Its Weakenings

21. Robert Milnikel. The Logic of Uncertain Justifications

22. Igor Sedlar. Justifications, Awareness and Epistemic Dynamics

23. Alexey Sorokin. Normal forms for Multiple Context-Free Languages and Displacement Lambek Grammars

24. Jean-Pierre Talpin, Jens Brandt, Mike Gemuende, Klaus Schneider and Sandeep Shukla. Constructive Polychronous Systems

25. Çağil Taşdemir. On tolerance analysis of games with belief revision

26. Ren-June Wang. Temporalizing Modal Epistemic Logic

27. Bruno Woltzenlogel Paleo. Contextual Natural Deduction

28. Sebastian Wyman. Conservatively Approximable Functions

29. Junhua Yu. Self-referentiality in the Brouwer-Heyting-Kolmogorov Semantics of Intuitionistic Logic