• View
• Edit
• History
• Print

Publications

1. Public announcements, public assignments and the complexity of their logic, Hans van Ditmarsch, Andreas Herzig and Tiago de Lima, JANCL, vol 22(3):249-273, 2012.
2. Some Truths Are Best Left Unsaid, Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig and Tiago de Lima, Advances in Modal Logic, 2012.
3. Non-deterministic Phase Semantics and the Undecidability of Boolean BI, Dominique Larchey-Wendling and Didier Galmiche, ACM Transactions on Computational Logic, vol. 14(1):1-41, 2013.
4. A Simple Separation Logic, Andreas Herzig, Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, LNCS 8071:168-178, Darmstadt, Germany, August 2013.
5. A Modal BI Logic for Dynamic Resource Properties, Jean-René Courtault and Didier Galmiche, LFCS 2013, LNCS 7734:134-148, 2013.
6. Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL, Philippe Balbiani, Andreas Herzig and Nicolas Troquard, 28th Annual ACM-IEEE Symposium on Logic in Computer Science, LICS 2013, pp 143-152, New Orleans, LA, USA, June 2013.
7. The formal strong completeness of partial monoidal Boolean BI, Dominique Larchey-Wendling, Journal of Logic and Computation, 2014.
8. Separation Logic with One Quantified Variable, Stéphane Demri, Didier Galmiche, Dominique Larchey-Wendling and Daniel Méry, CSR 2014.
9. Decidability of Iteration-free PDL with Parallel Composition, Philippe Balbiani and Joseph Boudou, ADDCT 2014 Workshop, Vienna, Austria, July 2014.
10. Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments, Andreas Herzig, KR 2014.
11. A sequent calculus with labels for PAL, Philippe Balbiani, Vincent Demange and Didier Galmiche, AiML 2014.
12. Looking at Separation Algebras with Boolean BI-eyes, Dominique Larchey-Wendling and Didier Galmiche, TCS 2014.
13. Definability and computability for PRSPDL, Philippe Balbiani and Tinko Tinchev, AiML 2014.
14. An Epistemic Separation Logic Δ, Jean-René Courtault, Hans van Ditmarsch and Didier Galmiche, WoLLIC 2015, LNCS 9160:1-18, Bloomington, USA, 2015.
15. A modal separation logic for resource dynamics Δ, Jean-René Courtault and Didier Galmiche, Journal of Logic and Computation, 2015 (to appear).
16. Tableaux methods for propositional dynamic logics with separating parallel composition Δ, Philippe Balbiani and Joseph Boudou, CADE 2015.
17. Exponential-size model property for PDL with separating parallel composition Δ, Joseph Boudou, MFCS 2015.
18. Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization. Δ, Philippe Balbiani and Joseph Boudou, Journal of Logic and Computation, 2015 (to appear).
19. Separation Logic with One Quantified Variable (extended version), Stéphane Demri, Didier Galmiche, Dominique Larchey-Wendling and Daniel Méry, Theory of Computing Systems, 2015 (to appear).