X-2004-06: IL-modellen en bisimulaties

X-2004-06: de Jonge, René (2004) IL-modellen en bisimulaties. [Report]

[thumbnail of Full Text]
Text (Full Text)

Download (418kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (225B)


In this Dutch article several well-known concepts and theorems of
classical modal logic are reformulated for the more extensive logic IL.

Item Type: Report
Report Nr: X-2004-06
Series Name: Technical Notes (X) Series
Year: 2004
Uncontrolled Keywords: Interpretability Logic
Depositing User: Benedikt
Date Deposited: 12 Oct 2016 14:38
Last Modified: 12 Oct 2016 14:38
URI: https://eprints.illc.uva.nl/id/eprint/652

Actions (login required)

View Item View Item