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]

	Text (Full Text) ML-1997-06.text.ps.gz Download (532kB)
	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