Label-free Modular Systems for Classical and Intuitionistic Modal Logics

&
In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 387-406 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,435

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

Label-free natural deduction systems for intuitionistic and classical modal logics.Didier Galmiche & Yakoub Salhi - 2010 - Journal of Applied Non-Classical Logics 20 (4):373-421.
Modular Sequent Calculi for Classical Modal Logics.David R. Gilbert & Paolo Maffezioli - 2015 - Studia Logica 103 (1):175-217.
Abstract modal logics.Ramon Jansana - 1995 - Studia Logica 55 (2):273 - 299.
Cut-free tableau calculi for some intuitionistic modal logics.Mauro Ferrari - 1997 - Studia Logica 59 (3):303-330.
On some intuitionistic modal logics.Hiroakira Ono - 1977 - Bulletin of the Section of Logic 6 (4):182-184.
Models for stronger normal intuitionistic modal logics.Kosta Došen - 1985 - Studia Logica 44 (1):39 - 70.
A uniform tableau method for intuitionistic modal logics I.Giambattista Amati & Fiora Pirri - 1994 - Studia Logica 53 (1):29 - 60.
Models for normal intuitionistic modal logics.Milan Božić & Kosta Došen - 1984 - Studia Logica 43 (3):217 - 245.
A first approach to abstract modal logics.Josep M. Font & Ventura Verdú - 1989 - Journal of Symbolic Logic 54 (3):1042-1062.
Combining possibilities and negations.Greg Restall - 1997 - Studia Logica 59 (1):121-141.
And negations.Greg Restall - unknown
An application of the Rieger-Nishimura formulas to the intuitionistic modal logics.Dimiter Vakarelov - 1984 - Bulletin of the Section of Logic 13 (3):120-122.
Kripke Bundles for Intermediate Predicate Logics and Kripke Frames for Intuitionistic Modal Logics.Nobu-Yuki Suzuki - 1990 - Studia Logica 49 (3):289-306.
Labelled modal logics: Quantifiers. [REVIEW]David Basin, Seán Matthews & Luca Viganò - 1998 - Journal of Logic, Language and Information 7 (3):237-263.
Modal translations in substructural logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.

Analytics

Added to PP
2018-02-24

Downloads
5 (#1,526,240)

6 months
1 (#1,491,286)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Gentzen sequent calculi for some intuitionistic modal logics.Zhe Lin & Minghui Ma - 2019 - Logic Journal of the IGPL 27 (4):596-623.
Maehara-style modal nested calculi.Roman Kuznets & Lutz Straßburger - 2019 - Archive for Mathematical Logic 58 (3-4):359-385.

Add more citations

References found in this work

Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
[Omnibus Review].Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094-1096.
Cut-free sequent calculi for some tense logics.Ryo Kashima - 1994 - Studia Logica 53 (1):119 - 135.
On an intuitionistic modal logic.G. M. Bierman & V. C. V. de Paiva - 2000 - Studia Logica 65 (3):383-416.
An Introduction to Modal Logic.E. J. Lemmon, Dana Scott & Krister Segerberg - 1979 - Journal of Symbolic Logic 44 (4):653-654.

View all 10 references / Add more references