X-2004-06: IL-modellen en bisimulaties

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

Preview	Text (Full Text) X-2004-06.text.pdf Download (418kB) | Preview
	Text (Abstract) X-2004-06.abstract.txt Download (225B)

Abstract

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