Sequent Systems for Lewis' Conditional Logics

&
In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 320--332 (2012)
  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: 91,219

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

Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic.Björn Lellmann & Dirk Pattinson - 2013 - In Kamal Lodaya (ed.), Logic and its Applications. Springer. pp. 148--160.
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.
A sequent formulation of conditional logic based on belief change operations.Peter Roeper - 2004 - Studia Logica 77 (3):425 - 438.
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.
An Update on "Might'".Jaap van Der Does, Willem Groeneveld & Frank Veltman - 1997 - Journal of Logic, Language and Information 6 (4):361-380.
Modal translations in substructural logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.
Analytic tableau systems and interpolation for the modal logics KB, KDB, k5, KD.Linh Anh Nguyen - 2001 - Studia Logica 69 (1):41-57.

Analytics

Added to PP
2014-01-28

Downloads
127 (#138,381)

6 months
4 (#698,851)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references