Generic Modal Cut Elimination Applied to Conditional Logics

DOI10.1007/978-3-642-02716-1_21zbMath1260.03104arXiv1011.3479OpenAlexW2405904545MaRDI QIDQ5902296

Lutz Schröder, Dirk Pattinson

Publication date: 1 December 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1011.3479

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Related Items

Non-normal modal logics and conditional logics: semantic analysis and proof theory, Cut elimination in coalgebraic logics, Proof systems for Moss' coalgebraic logic, Hybrid logic with the difference modality for generalisations of graphs, Cut Elimination for Shallow Modal Logics