This is an exploratory and expository paper, comparing display logic formulations of normal modal logics with labelled sequent systems. We provide a translation from display sequents into labelled sequents. The comparison between different systems gives us a different way to understand the difference between display systems and other sequent calculi as a difference between local and global views of consequence. The mapping between display and labelled systems also gives us a way to understand labelled systems as properly structural and not just as systems encoding modal logic into first-order logic
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Modal Translations in Substructural Logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.
Modal Logic as Metalogic.Kosta Došen - 1992 - Journal of Logic, Language and Information 1 (3):173-201.
Indexed Systems of Sequents and Cut-Elimination.Grigori Mints - 1997 - Journal of Philosophical Logic 26 (6):671-696.
Added to index2009-01-28
Total downloads48 ( #109,094 of 2,171,803 )
Recent downloads (6 months)3 ( #117,927 of 2,171,803 )
How can I increase my downloads?