On sequent systems for bimodal provability logics MOS and prl1

Bulletin of the Section of Logic 31 (2):91-101 (2002)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,907

External links

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

All finitely axiomatizable subframe logics containing the provability logic CSM $_{0}$ are decidable.Frank Wolter - 1998 - Archive for Mathematical Logic 37 (3):167-182.
Bimodal logics for extensions of arithmetical theories.Lev D. Beklemishev - 1996 - Journal of Symbolic Logic 61 (1):91-124.
On bimodal logics of provability.Lev D. Beklemishev - 1994 - Annals of Pure and Applied Logic 68 (2):115-159.
Sequent-systems and groupoid models. I.Kosta Došen - 1988 - Studia Logica 47 (4):353 - 385.
Sequent-systems and groupoid models. II.Kosta Došen - 1989 - Studia Logica 48 (1):41 - 65.
Sequent Calculi for Visser's Propositional Logics.Kentaro Kikuchi & Ryo Kashima - 2001 - Notre Dame Journal of Formal Logic 42 (1):1-22.
Cuts, Gluts and Gaps.Vincent Degauquier - 2012 - Logique Et Analyse 55 (218):229-240.
Comparing modal sequent systems.Greg Restall - unknown
Sequent calculi for some trilattice logics.Norihiro Kamide & Heinrich Wansing - 2009 - Review of Symbolic Logic 2 (2):374-395.
Labeled sequent calculi for modal logics and implicit contractions.Pierluigi Minari - 2013 - Archive for Mathematical Logic 52 (7-8):881-907.
Extracting BB′IW Inhabitants of Simple Types From Proofs in the Sequent Calculus $${LT_\to^{t}}$$ L T → t for Implicational Ticket Entailment.Katalin Bimbó & J. Michael Dunn - 2014 - Logica Universalis 8 (2):141-164.
An update on “might”.Jaap van der Does, Willem Groeneveld & Frank Veltman - 1997 - Journal of Logic, Language and Information 6 (4):361-380.
Prefixed tableaus and nested sequents.Melvin Fitting - 2012 - Annals of Pure and Applied Logic 163 (3):291 - 313.
Decidable and enumerable predicate logics of provability.Giorgie Dzhaparidze - 1990 - Studia Logica 49 (1):7 - 21.
An Update on "Might'".Jaap van Der Does, Willem Groeneveld & Frank Veltman - 1997 - Journal of Logic, Language and Information 6 (4):361-380.

Analytics

Added to PP
2014-01-18

Downloads
24 (#675,673)

6 months
1 (#1,508,411)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

On modal systems having arithmetical interpretations.Arnon Avron - 1984 - Journal of Symbolic Logic 49 (3):935-942.
Bimodal logics for extensions of arithmetical theories.Lev D. Beklemishev - 1996 - Journal of Symbolic Logic 61 (1):91-124.
The modal logic of provability: Cut-elimination. [REVIEW]Silvio Valentini - 1983 - Journal of Philosophical Logic 12 (4):471 - 476.

Add more references