ML-1998-08: Dynamic Odds & Ends

ML-1998-08: van Benthem, Johan (1998) Dynamic Odds & Ends. [Report]

[thumbnail of Old version (PS)] Text (Old version (PS))

Download (215kB)
[thumbnail of Old version (PDF)]
Text (Old version (PDF))

Download (267kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (670B)
[thumbnail of Full Text]
Text (Full Text)

Download (518kB) | Preview


This is a bunch of papers devoted to various aspects of logical dynamics.
It is the 1998 sequel to last year's collection "Dynamic Bits and Pieces",
which appeared as ILLC Research Report LP-1997-01.
1. Exploring Logical Dynamics: The Main Lines.
2. Process Operations in Extended Dynamic Logic.
3. Guarded Quantifiers: Questions and Variations.
4. A Beth Theorem for Process Operations?
5. Modal Fixed Points and Bisimulation.
6. Information Transfer across Chu Spaces.
7. Logical Constants as Evaluation Procedures.
8. Reasoning with Information Graphs.
9. Information Processing as a Social Activity.
10. Paralipomena.

Item Type: Report
Report Nr: ML-1998-08
Series Name: Mathematical Logic and Foundations (ML)
Year: 1998
Date Deposited: 12 Oct 2016 14:40
Last Modified: 28 Nov 2016 13:36

Actions (login required)

View Item View Item