Skip navigation
Skip navigation

The Logic of Exact Covers: Completeness and Uniform Interpolation

Pattinson, Dirk

Description

We show that all (not necessarily normal or monotone) modal logics that can be axiomatised in rank-1 have the interpolation property, and that in fact interpolation is uniform if the logics just have finitely many modal operators. As immediate application

CollectionsANU Research Publications
Date published: 2013
Type: Conference paper
URI: http://hdl.handle.net/1885/65956
Source: The Logic of Exact Covers: Completeness and Uniform Interpolation
DOI: 10.1109/LICS.2013.48

Download

File Description SizeFormat Image
01_Pattinson_The_Logic_of_Exact_Covers:_2013.pdf269.49 kBAdobe PDF    Request a copy


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  27 November 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator