Reflecting the Semantic Features of S5 at the Syntactic Level
Overview & Synopsis
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.
Indexed from repository: HAL Open Science
(
hal.science)
Keyboard Shortcuts:
← / → for pages • + / - for zoom • 0 to fit width
Powered by Mozilla PDF.js v3.11
Document Information
| Document Title | Reflecting the Semantic Features of S5 at the Syntactic Level |
|---|---|
| Author / Organization | Francesca Poggiolesi |
| Subject & Discipline | Multidisciplinary Academic Open Research |
| Categories | Science & Mathematics |
| Publication Year | 2010 |
| License / Rights | Open Access / Creative Commons |
| Resource Verification | Listed PDF (Verification Pending) |
| Original Host Website |
HAL Open Science
(hal.science)
|
| File Format | application/pdf (Portable Document Format) |
| Language | EN |
| Catalog ID | DOC-177821 |
| Original Source Link | Visit Source Page on hal.science » |