Non Normal Logics

Semantic Analysis and Proof Theory

Conference paper (2019)

Authors

J. Jinsheng Ethics & Philosophy of Technology - TPM
Giuseppe Greco Universiteit Utrecht
A. Palmigiano Ethics & Philosophy of Technology - TPM , University of Johannesburg
Apostolos Tzimoulis Vrije Universiteit Amsterdam
Research Group
Ethics & Philosophy of Technology (TPM) (TU Delft)
Conditional logic Monotonic modal logic Proper display calculi
More Info
expand_more

Published Date

2019

Language

English

Reuse Rights

Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.

Faculty

Technology, Policy and Management

Department

Values Technology and Innovation

Research Group

Ethics & Philosophy of Technology

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.

Files

2019_Chapter_2.pdf
(.pdf | 0.509 Mb)