Exploring logical dynamics /

Bibliographic Details
Main Author: Benthem, J. F. A. K. van, 1949-
Other Authors: Center for the Study of Language and Information, European Association for Logic, Language and Information
Format: Book
Published: Stanford, California : CSLI Publications ; FoLLI, 1996.
Series:Studies in logic, language and information
Subjects:
Table of Contents:
  • The dynamic turn. Dynamification. Technical tools. Logical foundations. Process simulation and definability. Relational algebra of process operations. Two-level static-dynamic architecture. Dynamic styles of inference. Decidable remodelling : arrow logic. Modal foundations for predicate logic. Computational process theories. Imperative aspects of logic programs. Understanding natural language. Philosophical repercussions