Guillaume Aucher. DEL-Sequents for regression and epistemic planning. Journal of Applied Non-Classical Logics, 2011.
to appear
Guillaume Aucher http://www.irisa.fr/distribcom
@article{Auc11b,
Author = {Aucher, Guillaume},
Title = {{DEL}-Sequents for regression and epistemic planning},
Journal = {Journal of Applied Non-Classical Logics},
Year = {2011}
}
Get EndNote Reference (.ref)