Jean-René Courtault

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 4

Top Topics

Classical Logic

Top Venues

Math. Struct. Comput. Sci.

J. Log. Comput.

University of Lorraine, Nancy, France (PHD)

Education History

University of Lorraine, Nancy, France

PHD

Publications

Jean-René Courtault, Hans van Ditmarsch, Didier Galmiche
A public announcement separation logic. Math. Struct. Comput. Sci. 29 (6) (2019)
Jean-René Courtault, Didier Galmiche
A modal separation logic for resource dynamics. J. Log. Comput. 28 (4) (2018)
Jean-René Courtault, Didier Galmiche, David J. Pym
A logic of separating modalities. Theor. Comput. Sci. 637 (2016)
Jean-René Courtault, Hans van Ditmarsch, Didier Galmiche
An Epistemic Separation Logic. WoLLIC (2015)
Jean-René Courtault, Didier Galmiche
A Modal BI Logic for Dynamic Resource Properties. LFCS (2013)