Correction to: Sequent Systems for Negative Modalities

, &
Logica Universalis 13 (1):135-135 (2019)
  Copy   BIBTEX

Abstract

In the original publication, the corresponding author was indicated incorrectly. The correct corresponding author of the article should be Ori Lahav. The original article has been updated accordingly.

Categories

Keywords

Reprint years

DOI

10.1007/s11787-017-0183-2

Links

PhilArchive



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

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

Sequent Systems for Negative Modalities.Ori Lahav, João Marcos & Yoni Zohar - 2017 - Logica Universalis 11 (3):345-382.
Negative modalities, consistency and determinedness.Adriano Dodó & João Marcos - 2014 - Electronic Notes in Theoretical Computer Science 300:21-45.
2-Sequent calculus: a proof theory of modalities.Andrea Masini - 1992 - Annals of Pure and Applied Logic 58 (3):229-246.
A Sequent Calculus for a Negative Free Logic.Norbert Gratzl - 2010 - Studia Logica 96 (3):331-348.
Positive logic with adjoint modalities: Proof theory, semantics, and reasoning about information: Positive logic with adjoint modalities.Mehrnoosh Sadrzadeh - 2010 - Review of Symbolic Logic 3 (3):351-373.
Comparing modal sequent systems.Greg Restall - unknown
LP, K3, and FDE as Substructural Logics.Lionel Shapiro - 2017 - In Pavel Arazim & Tomáš Lavička (eds.), The Logica Yearbook 2016. London: College Publications.
Sequent systems for compact bilinear logic.Wojciech Buszkowski - 2003 - Mathematical Logic Quarterly 49 (5):467.
Extension without cut.Lutz Straßburger - 2012 - Annals of Pure and Applied Logic 163 (12):1995-2007.
Non-normal modalities in variants of linear logic.D. Porello & N. Troquard - 2015 - Journal of Applied Non-Classical Logics 25 (3):229-255.
Sequent Calculi for Visser's Propositional Logics.Kentaro Kikuchi & Ryo Kashima - 2001 - Notre Dame Journal of Formal Logic 42 (1):1-22.
A Survey of Nonstandard Sequent Calculi.Andrzej Indrzejczak - 2014 - Studia Logica 102 (6):1295-1322.
Sequent calculi for some trilattice logics.Norihiro Kamide & Heinrich Wansing - 2009 - Review of Symbolic Logic 2 (2):374-395.
Modular Sequent Calculi for Classical Modal Logics.David R. Gilbert & Paolo Maffezioli - 2015 - Studia Logica 103 (1):175-217.
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.

Analytics

Added to PP
2017-11-30

Downloads
10 (#1,165,120)

6 months
1 (#1,510,037)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Joao Marcos
Universidade Federal do Rio Grande do Norte

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references