Exploring logical dynamics

Introduction 1. Cognitive actions 2. Dynamification 3. Technical tools 4. Process simulation and definability 5. Relational algebra of process operations 6. Two-level static-dynamic architecture 7. Dynamic styles of inference 8. Decidable remodelling: arrow logic 9. Modal foundations for predicate logic 10. Computational process theories 11. Imperative aspects of logic programs 12. Understanding natural language 13. Philosophical repercussions Bibliography.