ML-1997-06: Modality, Bisimulation and Interpolation in Infinitary Logic

ML-1997-06: van Benthem, Johan (1997) Modality, Bisimulation and Interpolation in Infinitary Logic. [Report]

[img] Text (Full Text)
ML-1997-06.text.ps.gz

Download (532kB)
[img] Text (Abstract)
ML-1997-06.abstract.txt

Download (788B)

Abstract

Rohit Parikh has been one of the pioneers at the interface of modal and dynamic logic. Bringing dynamic, process­oriented concerns into modal logic has been a major move, whose repercussions are still being felt today. In this contribution, I consider the bridge concept of bisimulation, which links modal logic with computational process theories. Our main results show how its model­theoretic invariance properties, first established within first­order model theory, may be lifted to infinitary logic, a natural generalized habitat for theories of programs and processes. The techniques used for this purpose also suggest some further proof­theoretic uses, going beyond purely modal languages.

Item Type: Report
Report Nr: ML-1997-06
Series Name: Mathematical Logic and Foundations (ML)
Year: 1997
Date Deposited: 12 Oct 2016 14:40
Last Modified: 12 Oct 2016 14:40
URI: https://eprints.illc.uva.nl/id/eprint/1387

Actions (login required)

View Item View Item