Syntactic awareness in logical dynamics

2015

Davide Grossi, Fernando R. Velázquez-Quesada

Synthese 192 (12)