Johan van Benthem. "Inference in Action." Publications de l'Institut Mathématique 82(96).102 (2007): 3-16. <http://eudml.org/doc/258340>.
@article{JohanvanBenthem2007, author = {Johan van Benthem}, journal = {Publications de l'Institut Mathématique}, keywords = {modal logic; structural rules; dynamic logic; model theory}, language = {eng}, number = {102}, pages = {3-16}, publisher = {Matematički institut SANU}, title = {Inference in Action}, url = {http://eudml.org/doc/258340}, volume = {82(96)}, year = {2007}, }
TY - JOUR AU - Johan van Benthem TI - Inference in Action JO - Publications de l'Institut Mathématique PY - 2007 PB - Matematički institut SANU VL - 82(96) IS - 102 SP - 3 EP - 16 LA - eng KW - modal logic; structural rules; dynamic logic; model theory UR - http://eudml.org/doc/258340 ER -
