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))
ML-1998-08.text.ps.gz

Download (215kB)
[thumbnail of Old version (PDF)]
Preview
Text (Old version (PDF))
ML-1998-08.text.pdf

Download (267kB) | Preview
[thumbnail of Abstract] Text (Abstract)
ML-1998-08.abstract.txt

Download (670B)
[thumbnail of Full Text]
Preview
Text (Full Text)
ML-1998-08.text.pdf

Download (518kB) | Preview

Abstract

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.
Contents
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
URI: https://eprints.illc.uva.nl/id/eprint/1397

Actions (login required)

View Item View Item