Cut-free Systems For Some Modal Logics Containing S4

Reports on Mathematical Logic:39-65 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,795

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Cut-free Systems For The Modal Logic S4.3 And S4.3grz.Tatsuya Shimura - 1991 - Reports on Mathematical Logic.
Cut-Free Indexed Calcui for Modal Logics Containing the Barcan Axiom.Aida Pliuskeviviene - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 157-172.
Cut-Free Indexed Calcui for Modal Logics Containing the Barcan Axiom.Aida Pliuskeviviene - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 157-172.
Modal translations in substructural logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.
Cut-free completeness for modular hypersequent calculi for modal logics K, T, and D.Samara Burns & Richard Zach - 2021 - Review of Symbolic Logic 14 (4):910-929.
Some proof systems for common knowledge predicate.Yoshihito Tanaka - 2003 - Reports on Mathematical Logic:79-100.
Cut Elimination In Noncommutative Substructural Logics.Bayu Surarso & Hiroakira Ono - 1996 - Reports on Mathematical Logic:13-29.
Stable Modal Logics.Guram Bezhanishvili, Nick Bezhanishvili & Julia Ilin - 2018 - Review of Symbolic Logic 11 (3):436-469.
Cut-free systems for three-valued modal logics.Mitio Takano - 1992 - Notre Dame Journal of Formal Logic 33 (3):359-368.
Cut-free tableau calculi for some intuitionistic modal logics.Mauro Ferrari - 1997 - Studia Logica 59 (3):303-330.

Analytics

Added to PP
2015-02-12

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references