Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity

DOI10.1093/LOGCOM/EXAA072zbMath1484.03033arXiv2006.05436OpenAlexW3116558076MaRDI QIDQ5028311

Björn Lellmann, Tiziano Dalmonte, Elaine Pimentel, Nicola Olivetti

Publication date: 8 February 2022

Published in: Journal of Logic and Computation (Search for Journal in Brave)

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

zbMATH Keywords

complexitymodal logicsemanticshypersequentsproof-theory

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

This page was built for publication: Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity