Non Normal Logics

Semantic Analysis and Proof Theory

Conference paper (2019)

Authors

J. Jinsheng

Giuseppe Greco Universiteit Utrecht

A. Palmigiano University of Johannesburg,

Apostolos Tzimoulis Vrije Universiteit Amsterdam

Conditional logic Monotonic modal logic Proper display calculi

To reference this document use:

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

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.

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)

Unknown license

Download not available