1 citations · 1 across the 8 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
cs.LO2022
Comparative plausibility in neighbourhood models: axiom systems and sequent calculi
Tiziano Dalmonte, Marianna Girlando
We introduce a family of comparative plausibility logics over neighbourhood models, generalising Lewis' comparative plausibility operator over sphere models. We provide axiom syste…
math.LO2022
Wijesekera-style constructive modal logics
Tiziano Dalmonte
We define a family of propositional constructive modal logics corresponding each to a different classical modal system. The logics are defined in the style of Wijesekera's construc…
cs.LO2022
Reasoning in Non-normal Modal Description Logics
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki
Non-normal modal logics, interpreted on neighbourhood models which generalise the usual relational semantics, have found application in several areas, such as epistemic, deontic, a…