Dynamic models in imperative logic

Berislav Žarnić (2011)
Dynamic models in imperative logic
In Theory of Imperatives from Different Points of View, A. Brożek, J. Jadacki and B. Žarnić (eds.), pp. 60–120
Biblioteka Filozofii Nauki - Logic, Methodology and Philosophy of Science at Warsaw University 6
Warsaw: Wydawnictwo Naukowe Semper