A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5-Reference-Cited by-同舟云学术

A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5

Published:2008-06 Issue:1 Volume:1 Page:3-15
ISSN:1755-0203
Container-title:The Review of Symbolic Logic
language:en
Short-container-title:Rev. symb. logic

Author:

POGGIOLESI FRANCESCA

Abstract

In this paper, we present a simple sequent calculus for the modal propositional logic S5. We prove that this sequent calculus is theoremwise equivalent to the Hilbert-style system S5, that it is contraction-free and cut-free, and finally that it is decidable. All results are proved in a purely syntactic way.

Publisher

Cambridge University Press (CUP)

Subject

Logic,Philosophy,Mathematics (miscellaneous)

Reference17 articles.

1. Gentzen method in modal calculi;Matsumoto;Osaka Mathematical Journal,1959

2. Sequents and circuits for modal logic;Restall;Proceedings of Logic Colloquium,2006

3. A cut-free Gentzen-type system for the modal logic S5

4. Generalised sequent calculus for propositional modal logics;Indrezejczak;Logica Trianguli,1997

5. Sequent calculus for modal logic;Poggiolesi;Logic Colloquium,2006

Cited by 41 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Rooted Hypersequent Calculus for Modal Logic S5;Logica Universalis;2023-06-21

2. Natural deduction calculi for classical and intuitionistic S5;Journal of Applied Non-Classical Logics;2023-04-03

3. CoNP Complexity for Combinations of Non-normal Modal Logics;Lecture Notes in Computer Science;2023

4. Non-labelled Sequent Calculi of Public Announcement Expansions of $$\textbf{K45}$$ and $$\textbf{S5}$$;Logic, Rationality, and Interaction;2023

5. A Reduction-based Cut-free Gentzen Calculus for Dynamic Epistemic Logic;Logic Journal of the IGPL;2022-12-27