Sequent systems for Lewis' conditional logics

Björn Lellmann; Dirk Pattinson

doi:10.1007/978-3-642-33353-8_25

Sequent systems for Lewis' conditional logics

Björn Lellmann^*, Dirk Pattinson

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

18 Citations (Scopus)

Abstract

We present unlabelled cut-free sequent calculi for Lewis' conditional logic and extensions, in both the languages with the entrenchment connective and the strong conditional. The calculi give rise to Pspace-decision procedures, also in the language with the weak conditional. Furthermore, they are used to prove the Craig interpolation property for all the logics under consideration, and yield a Pspace-decision procedure for a recently considered hybrid version of .

Original language	English
Title of host publication	Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Proceedings
Pages	320-332
Number of pages	13
DOIs	https://doi.org/10.1007/978-3-642-33353-8_25
Publication status	Published - 2012
Externally published	Yes
Event	13th European Conference on Logics in Artificial Intelligence, JELIA 2012 - Toulouse, France Duration: 26 Sept 2012 → 28 Sept 2012

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	7519 LNAI
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	13th European Conference on Logics in Artificial Intelligence, JELIA 2012
Country/Territory	France
City	Toulouse
Period	26/09/12 → 28/09/12

Access to Document

10.1007/978-3-642-33353-8_25

Cite this

Lellmann, B., & Pattinson, D. (2012). Sequent systems for Lewis' conditional logics. In Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Proceedings (pp. 320-332). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7519 LNAI). https://doi.org/10.1007/978-3-642-33353-8_25

@inproceedings{f0935b9bceb6473faa94256c9c33f4be,

title = "Sequent systems for Lewis' conditional logics",

abstract = "We present unlabelled cut-free sequent calculi for Lewis' conditional logic and extensions, in both the languages with the entrenchment connective and the strong conditional. The calculi give rise to Pspace-decision procedures, also in the language with the weak conditional. Furthermore, they are used to prove the Craig interpolation property for all the logics under consideration, and yield a Pspace-decision procedure for a recently considered hybrid version of .",

author = "Bj{\"o}rn Lellmann and Dirk Pattinson",

year = "2012",

doi = "10.1007/978-3-642-33353-8_25",

language = "English",

isbn = "9783642333521",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "320--332",

booktitle = "Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Proceedings",

note = "13th European Conference on Logics in Artificial Intelligence, JELIA 2012 ; Conference date: 26-09-2012 Through 28-09-2012",

}

Lellmann, B & Pattinson, D 2012, Sequent systems for Lewis' conditional logics. in Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7519 LNAI, pp. 320-332, 13th European Conference on Logics in Artificial Intelligence, JELIA 2012, Toulouse, France, 26/09/12. https://doi.org/10.1007/978-3-642-33353-8_25

Sequent systems for Lewis' conditional logics. / Lellmann, Björn; Pattinson, Dirk.
Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Proceedings. 2012. p. 320-332 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7519 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Sequent systems for Lewis' conditional logics

AU - Lellmann, Björn

AU - Pattinson, Dirk

PY - 2012

Y1 - 2012

N2 - We present unlabelled cut-free sequent calculi for Lewis' conditional logic and extensions, in both the languages with the entrenchment connective and the strong conditional. The calculi give rise to Pspace-decision procedures, also in the language with the weak conditional. Furthermore, they are used to prove the Craig interpolation property for all the logics under consideration, and yield a Pspace-decision procedure for a recently considered hybrid version of .

AB - We present unlabelled cut-free sequent calculi for Lewis' conditional logic and extensions, in both the languages with the entrenchment connective and the strong conditional. The calculi give rise to Pspace-decision procedures, also in the language with the weak conditional. Furthermore, they are used to prove the Craig interpolation property for all the logics under consideration, and yield a Pspace-decision procedure for a recently considered hybrid version of .

UR - http://www.scopus.com/inward/record.url?scp=84866916516&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-33353-8_25

DO - 10.1007/978-3-642-33353-8_25

M3 - Conference contribution

SN - 9783642333521

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 320

EP - 332

BT - Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Proceedings

T2 - 13th European Conference on Logics in Artificial Intelligence, JELIA 2012

Y2 - 26 September 2012 through 28 September 2012

ER -

Sequent systems for Lewis' conditional logics

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this