|
|||||
|
|
On contraction and the modal fragment |
|
| Authors: | Kai Brünnler Dieter Probst Thomas Studer |
| Institution: | Institut für Informatik und angewandte Mathematik, Universit?t Bern, Neubrückstrasse 10, CH‐3012 Bern, Switzerland |
| Abstract: | We observe that removing contraction from a standard sequent calculus for first‐order predicate logic preserves completeness for the modal fragment. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim) |
| Keywords: | Contraction‐free logics completeness modal fragment |