Comparative plausibility in neighbourhood models: axiom systems and sequent calculi
Abstract
We introduce a family of comparative plausibility logics over neighbourhood models, generalising Lewis' comparative plausibility operator over sphere models. We provide axiom systems for the logics, and prove their soundness and completeness with respect to the semantics. Then, we introduce two kinds of analytic proof systems for several logics in the family: a multi-premisses sequent calculus in the style of Lellmann and Pattinson, for which we prove cut admissibility, and a hypersequent calculus based on structured calculi for conditional logics by Girlando et al., tailored for countermodel construction over failed proof search. Our results constitute the first steps in the definition of a unified proof theoretical framework for logics equipped with a comparative plausibility operator.
Keywords
Cite
@article{arxiv.2210.10480,
title = {Comparative plausibility in neighbourhood models: axiom systems and sequent calculi},
author = {Tiziano Dalmonte and Marianna Girlando},
journal= {arXiv preprint arXiv:2210.10480},
year = {2022}
}
Comments
To appear in: David Fern\'andez-Duque, Alessandra Palmigiano and Sophie Pinchinat (eds), Advances in Modal Logic 14, College Publications, 2022