ML-1998-08: Dynamic Odds & Ends

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

	Text (Old version (PS)) ML-1998-08.text.ps.gz Download (215kB)
Preview	Text (Old version (PDF)) ML-1998-08.text.pdf Download (267kB) | Preview
	Text (Abstract) ML-1998-08.abstract.txt Download (670B)
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