Reflecting the Semantic Features of S5 at the Syntactic Level

Francesca Poggiolesi (1)

1 IHPST - Institut d'Histoire et de Philosophie des Sciences et des Techniques

In this paper we present two different sequent calculi for modal logic S5, each of which reflects, at the syntactic level, one of the two ways of describing S5 semantically. We will analyze both these sequent calculi in detail and we will briefly sketch the proofs of: (i) adequacy of the calculi, (ii) admissibility of the structural rules, cut-rule included. All results are proved in a purely syntactic way. Contraction-free, Cut-free, Modal logic, Sequent Calculus, Tree-hypersequents.

Mots clés: logic

Domaines: Histoire, Philosophie et Sociologie des sciences

Francesca Poggiolesi. Reflecting the Semantic Features of S5 at the Syntactic Level. M. D'Agostino, G. Giorello, F. Laudisa, T. Pievani, C. Sinigaglia. New Essays in Logic and Philosophy of Science, College Publications, pp.13-25, 2010, 978-1-84890-003-5. ⟨halshs-00775814⟩