Label-free Modular Systems for Classical and Intuitionistic Modal LogicsReport as inadecuate




Label-free Modular Systems for Classical and Intuitionistic Modal Logics - Download this document for free, or read online. Document in PDF available to download.

1 IRB - Institute for Research in Biomedicine 2 Departament de Bioquímica i Biologia Molecular 3 LIX - Laboratoire d-informatique de l-École polytechnique Palaiseau 4 PARSIFAL - Proof search and reasoning with logic specifications LIX - Laboratoire d-informatique de l-École polytechnique Palaiseau, Inria Saclay - Ile de France, Polytechnique - X, CNRS - Centre National de la Recherche Scientifique : UMR7161

Abstract : In this paper we show for each of the modal axioms d, t, b, 4, and 5 an equivalent set of inference rules in a nested sequent system, such that, when added to the basic system for the modal logic K, the resulting system admits cut elimination. Then we show the same result also for intuitionistic modal logic. We achieve this by combining structural and logical rules.

Keywords : Modal logic cut elimination nested sequents Hilbert axioms





Author: Sonia Marin - Lutz Straßburger -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents