PP-2000-03: Characterizing Interpolation Pairs in Infinitary Graded Logics

PP-2000-03: D'Agostino, Giovanna (2000) Characterizing Interpolation Pairs in Infinitary Graded Logics. [Report]

	Text (Full Text) PP-2000-03.text.ps.gz Download (109kB)
	Text (Abstract) PP-2000-03.abstract.txt Download (304B)

Abstract

The problem of interpolation for countable infinitary graded modal logics
is considered. Pairs of formulae having an interpolant in these logics
are characterized semantically using generalized consistency property.

Item Type:	Report
Report Nr:	PP-2000-03
Series Name:	Prepublication (PP) Series
Year:	2000
Date Deposited:	12 Oct 2016 14:36
Last Modified:	12 Oct 2016 14:36
URI:	https://eprints.illc.uva.nl/id/eprint/30

Actions (login required)

View Item