Bibtex de la publication

@InCollection{ Ba2018.2,
author = {Balbiani, Philippe},
title = "{About the complete axiomatization of dynamic extensions of arrow logic}",
booktitle = "{Ewa Oréowska: on Relational Methods in Logic and Computer Science}",
publisher = {Springer},
address = {http://www.springerlink.com},
year = {2018},
to_appear = {to appear},
editor = {Golinska-Pilarek, Joanna and Zawidzki, Michal},
language = {anglais}
}