The Logic of Exact Covers: Completeness and Uniform Interpolation
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
|Collections||ANU Research Publications|
|Source:||The Logic of Exact Covers: Completeness and Uniform Interpolation|
|01_Pattinson_The_Logic_of_Exact_Covers:_2013.pdf||269.49 kB||Adobe PDF||Request a copy|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.