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]

[thumbnail of Full Text] Text (Full Text)

Download (532kB)
[thumbnail of Abstract] Text (Abstract)

Download (788B)


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

Actions (login required)

View Item View Item