Non Normal Logics
Semantic Analysis and Proof Theory
Jinsheng Chen (TU Delft - Ethics & Philosophy of Technology)
Giuseppe Greco (Universiteit Utrecht)
A. Palmigiano (TU Delft - Ethics & Philosophy of Technology, University of Johannesburg)
Apostolos Tzimoulis (Vrije Universiteit Amsterdam)
More Info
expand_more
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.
No files available
Metadata only record. There are no files for this record.