Non Normal Logics

None, None; None, None; None, None; None, None

Non Normal Logics

Semantic Analysis and Proof Theory

Conference Paper (2019)

Author(s)

Jinsheng Chen (TU Delft - Technology, Policy and Management)

Giuseppe Greco (Universiteit Utrecht)

Alessandra Palmigiano (TU Delft - Technology, Policy and Management, University of Johannesburg)

Apostolos Tzimoulis (Vrije Universiteit Amsterdam)

Research Group

Ethics & Philosophy of Technology

Conditional logic Monotonic modal logic Proper display calculi

DOI related publication

https://doi.org/10.1007/978-3-662-59533-6_7 Final published version

To reference this document use

https://resolver.tudelft.nl/uuid:b2adc7df-ccbc-43fb-9492-dce5c7da374a

More Info

expand_more

Publication Year

2019

Language

English

Research Group

Ethics & Philosophy of Technology

Pages (from-to)

99-118

Publisher

Springer

ISBN (print)

9783662595329

Event

26th International Workshop on Logic, Language, Information and Communication, WoLLIC 2019 (2019-07-02 - 2019-07-05), Utrecht, Netherlands

Downloads counter

177

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.