Non Normal Logics: Semantic Analysis and Proof Theory

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

*Corresponding author for this work

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

5 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 languageEnglish
Title of host publicationLogic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, Proceedings
EditorsRosalie Iemhoff, Michael Moortgat, Ruy de Queiroz
PublisherSpringer
Pages99-118
Number of pages20
ISBN (Print)9783662595329
DOIs
Publication statusPublished - 2019
Event26th International Workshop on Logic, Language, Information and Communication, WoLLIC 2019 - Utrecht, Netherlands
Duration: 2 Jul 20195 Jul 2019

Publication series

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

Conference

Conference26th International Workshop on Logic, Language, Information and Communication, WoLLIC 2019
CountryNetherlands
CityUtrecht
Period2/07/195/07/19

Keywords

  • Conditional logic
  • Monotonic modal logic
  • Proper display calculi

Fingerprint

Dive into the research topics of 'Non Normal Logics: Semantic Analysis and Proof Theory'. Together they form a unique fingerprint.

Cite this