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]

[img] Text (Full Text)
PP-2000-03.text.ps.gz

Download (109kB)
[img] 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 View Item