PS-File
PDF-File
Bibtex Entry
CWI, P.O Box 94079, 1090 GB, Amsterdam
jve@cwi.nl
www.cwi.nl/~jve
This essay is an elaborated version of my last email to Johan van Benthem about using dynamic logic programming, more specifically, programs written in Dynamo, for building decision tools and reasoning about these tools. First we sketch the main features of dynamic logic programming, next we look at the use of this new programming paradigm in the analysis of decidable logics, taking propositional logic and the modal logic K as our illustration material.