Dynamic Versus Classical Consequence
Résumé
The shift of interest in logic from just reasoning to all forms of information flow has considerably widened the scope of the discipline, as amply illustrated in Johan van Benthem's recent book Log ...