Jump to ContentJump to Main Navigation

You are looking at 1-1 of 1 items for:

  • Keywords: equality x
  • Mathematics x
Clear All Modify Search

View:

INTERPOLATION AND DEFINABILITY IN QUANTIFIED LOGICS

D.M. Gabbay and L. Maksimova

in Interpolation and Definability: Modal and Intuitionistic Logics

Published in print:
2005
Published Online:
September 2007
ISBN:
9780198511748
eISBN:
9780191705779
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780198511748.003.0005
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

This chapter contains a proof of Lyndon's interpolation property (LIP) for quantified extensions of basic modal logics K, T, D, K4, and S4, and for some others, including the propositional S5 has ... More


View: