We introduce nested sequent calculi for bimodal monotone modal logic, aka. Brown’s ability logic, a natural combination of non-normal monotone modal logic M and normal modal logic K. The calculus generalises in a natural way previously existing calculi for both mentioned logics, has syntactical cut elimination, and can be used to construct countermodels in the neighbourhood semantics. We then consider some extensions of interest for deontic logic. An implementation is also available.
CITATION STYLE
Lellmann, B. (2019). Combining Monotone and Normal Modal Logic in Nested Sequents – with Countermodels. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11714 LNAI, pp. 203–220). Springer. https://doi.org/10.1007/978-3-030-29026-9_12
Mendeley helps you to discover research relevant for your work.