Gianluigi Bellin Corrado Biasi Towards a Logic for Pragmatics. Assertions and Conjectures. 473-506 2004 14 J. Log. Comput. 4 http://dx.doi.org/10.1093/logcom/14.4.473 db/journals/logcom/logcom14.html#BellinB04