[Back]


Talks and Poster Presentations (with Proceedings-Entry):

B. Lellmann:
"Combining monotone and normal modal logic in nested sequents -- with countermodels";
Talk: TABLEAUX 2019, London; 2019-09-03 - 2019-09-05; in: "Automated Reasoning with Analytic Tableaux and Related Methods. 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings", S. Cerrito, A. Popescu (ed.); Springer, LNCS, vol.11714 (2019), ISBN: 978-3-030-29025-2; 203 - 220.



English abstract:
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.

Keywords:
Modal logic, Non-normal modal logic, Nested sequents, Countermodel generation, Ability logic


"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-29026-9_12


Created from the Publication Database of the Vienna University of Technology.