Non Normal Logics: Semantic Analysis and Proof Theory

Jinsheng Chen; Giuseppe Greco; Alessandra Palmigiano; Apostolos Tzimoulis

doi:10.1007/978-3-662-59533-6_7

Non Normal Logics: Semantic Analysis and Proof Theory

Jinsheng Chen^*, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis

^*Corresponding author for this work

Ethics & Philosophy of Technology

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

7 Citations (Scopus)

Abstract

We introduce proper display calculi for basic monotonic modal logic, the conditional logic CK and a number of their axiomatic extensions. These calculi are sound, complete, conservative and enjoy cut elimination and subformula property. Our proposal applies the multi-type methodology in the design of display calculi, starting from a semantic analysis based on the translation from monotonic modal logic to normal bi-modal logic.

Original language	English
Title of host publication	Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, Proceedings
Editors	Rosalie Iemhoff, Michael Moortgat, Ruy de Queiroz
Publisher	Springer
Pages	99-118
Number of pages	20
ISBN (Print)	9783662595329
DOIs	https://doi.org/10.1007/978-3-662-59533-6_7
Publication status	Published - 2019
Event	26th International Workshop on Logic, Language, Information and Communication, WoLLIC 2019 - Utrecht, Netherlands Duration: 2 Jul 2019 → 5 Jul 2019

Publication series

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

Conference

Conference	26th International Workshop on Logic, Language, Information and Communication, WoLLIC 2019
Country/Territory	Netherlands
City	Utrecht
Period	2/07/19 → 5/07/19

Keywords

Conditional logic
Monotonic modal logic
Proper display calculi

Access to Document

10.1007/978-3-662-59533-6_7

Cite this

Chen, J., Greco, G., Palmigiano, A., & Tzimoulis, A. (2019). Non Normal Logics: Semantic Analysis and Proof Theory. In R. Iemhoff, M. Moortgat, & R. de Queiroz (Eds.), Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, Proceedings (pp. 99-118). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11541 LNCS). Springer. https://doi.org/10.1007/978-3-662-59533-6_7

Chen, Jinsheng ; Greco, Giuseppe ; Palmigiano, Alessandra et al. / Non Normal Logics : Semantic Analysis and Proof Theory. Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, Proceedings. editor / Rosalie Iemhoff ; Michael Moortgat ; Ruy de Queiroz. Springer, 2019. pp. 99-118 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{b2adc7dfccbc43fb9492dce5c7da374a,

title = "Non Normal Logics: Semantic Analysis and Proof Theory",

abstract = "We introduce proper display calculi for basic monotonic modal logic, the conditional logic CK and a number of their axiomatic extensions. These calculi are sound, complete, conservative and enjoy cut elimination and subformula property. Our proposal applies the multi-type methodology in the design of display calculi, starting from a semantic analysis based on the translation from monotonic modal logic to normal bi-modal logic.",

keywords = "Conditional logic, Monotonic modal logic, Proper display calculi",

author = "Jinsheng Chen and Giuseppe Greco and Alessandra Palmigiano and Apostolos Tzimoulis",

year = "2019",

doi = "10.1007/978-3-662-59533-6_7",

language = "English",

isbn = "9783662595329",

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

publisher = "Springer",

pages = "99--118",

editor = "Rosalie Iemhoff and Michael Moortgat and {de Queiroz}, Ruy",

booktitle = "Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, Proceedings",

address = "United States",

note = "26th International Workshop on Logic, Language, Information and Communication, WoLLIC 2019 ; Conference date: 02-07-2019 Through 05-07-2019",

}

Chen, J, Greco, G, Palmigiano, A & Tzimoulis, A 2019, Non Normal Logics: Semantic Analysis and Proof Theory. in R Iemhoff, M Moortgat & R de Queiroz (eds), Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11541 LNCS, Springer, pp. 99-118, 26th International Workshop on Logic, Language, Information and Communication, WoLLIC 2019, Utrecht, Netherlands, 2/07/19. https://doi.org/10.1007/978-3-662-59533-6_7

Non Normal Logics: Semantic Analysis and Proof Theory. / Chen, Jinsheng; Greco, Giuseppe; Palmigiano, Alessandra et al.
Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, Proceedings. ed. / Rosalie Iemhoff; Michael Moortgat; Ruy de Queiroz. Springer, 2019. p. 99-118 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11541 LNCS).

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Non Normal Logics

T2 - 26th International Workshop on Logic, Language, Information and Communication, WoLLIC 2019

AU - Chen, Jinsheng

AU - Greco, Giuseppe

AU - Palmigiano, Alessandra

AU - Tzimoulis, Apostolos

PY - 2019

Y1 - 2019

N2 - We introduce proper display calculi for basic monotonic modal logic, the conditional logic CK and a number of their axiomatic extensions. These calculi are sound, complete, conservative and enjoy cut elimination and subformula property. Our proposal applies the multi-type methodology in the design of display calculi, starting from a semantic analysis based on the translation from monotonic modal logic to normal bi-modal logic.

AB - We introduce proper display calculi for basic monotonic modal logic, the conditional logic CK and a number of their axiomatic extensions. These calculi are sound, complete, conservative and enjoy cut elimination and subformula property. Our proposal applies the multi-type methodology in the design of display calculi, starting from a semantic analysis based on the translation from monotonic modal logic to normal bi-modal logic.

KW - Conditional logic

KW - Monotonic modal logic

KW - Proper display calculi

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

U2 - 10.1007/978-3-662-59533-6_7

DO - 10.1007/978-3-662-59533-6_7

M3 - Conference contribution

AN - SCOPUS:85068620259

SN - 9783662595329

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

SP - 99

EP - 118

BT - Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, Proceedings

A2 - Iemhoff, Rosalie

A2 - Moortgat, Michael

A2 - de Queiroz, Ruy

PB - Springer

Y2 - 2 July 2019 through 5 July 2019

ER -

Chen J, Greco G, Palmigiano A, Tzimoulis A. Non Normal Logics: Semantic Analysis and Proof Theory. In Iemhoff R, Moortgat M, de Queiroz R, editors, Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, Proceedings. Springer. 2019. p. 99-118. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-662-59533-6_7

Non Normal Logics: Semantic Analysis and Proof Theory

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this