Non-normal modal logics: Bi-neighbourhood semantics and its labelled calculi T Dalmonte, N Olivetti, S Negri Advances in Modal Logic 2018, 2018 | 36 | 2018 |
Intuitionistic non-normal modal logics: A general framework T Dalmonte, C Grellois, N Olivetti Journal of Philosophical Logic 49 (5), 833-882, 2020 | 27 | 2020 |
Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity T Dalmonte, B Lellmann, N Olivetti, E Pimentel Journal of Logic and Computation 31 (1), 67-111, 2021 | 13 | 2021 |
Countermodel construction via optimal hypersequent calculi for non-normal modal logics T Dalmonte, B Lellmann, N Olivetti, E Pimentel International Symposium on Logical Foundations of Computer Science, 27-46, 2019 | 10 | 2019 |
Non-normal modal description logics T Dalmonte, A Mazzullo, A Ozaki, N Troquard European Conference on Logics in Artificial Intelligence, 306-321, 2023 | 9 | 2023 |
PRONOM: proof-search and countermodel generation for non-normal modal logics T Dalmonte, S Negri, N Olivetti, GL Pozzato International Conference of the Italian Association for Artificial …, 2019 | 9 | 2019 |
HYPNO: theorem proving with hypersequent calculi for non-normal modal logics (system description) T Dalmonte, N Olivetti, GL Pozzato International Joint Conference on Automated Reasoning, 378-387, 2020 | 8 | 2020 |
Terminating calculi and countermodels for constructive modal logics T Dalmonte, C Grellois, N Olivetti International Conference on Automated Reasoning with Analytic Tableaux and …, 2021 | 7 | 2021 |
Reasoning in non-normal modal description logics T Dalmonte, A Mazzullo, A Ozaki arXiv preprint arXiv:2207.00119, 2022 | 4 | 2022 |
Towards intuitionistic non-normal modal logic and its calculi T Dalmonte, C Grellois, N Olivetti | 4 | |
Wijesekera-style constructive modal logics T Dalmonte arXiv preprint arXiv:2210.09937, 2022 | 3 | 2022 |
Theorem proving for non-normal modal logics T Dalmonte, S Negri, N Olivetti, GL Pozzato OVERLAY 2020, 2021 | 2 | 2021 |
Proof systems for the logics of bringing-it-about T Dalmonte, C Grellois, N Olivetti 15th International Conference on Deontic Logic and Normative Systems DEON …, 2021 | 2 | 2021 |
Non-normal modal logics: neighbourhood semantics and their calculi T Dalmonte Aix-Marseille, 2020 | 2 | 2020 |
Intuitionistic and classical non-normal modal logics: An embedding T Dalmonte, C Grellois, N Olivetti TACL 2019, 67, 2019 | 1 | 2019 |
CoNP Complexity for Combinations of Non-normal Modal Logics T Dalmonte, A Mazzullo International Conference on Automated Reasoning with Analytic Tableaux and …, 2023 | | 2023 |
Minimal modal logics, constructive modal logics and their relations T Dalmonte arXiv preprint arXiv:2309.02367, 2023 | | 2023 |
Non-Normal Modal Description Logics (Extended Version) T Dalmonte, A Mazzullo, A Ozaki, N Troquard arXiv preprint arXiv:2307.12265, 2023 | | 2023 |
Connecting proof theory and semantics for non-normal modal logics T Dalmonte, L Seminar | | 2023 |
Proof theory for the logics of bringing-it-about: Ability, coalitions and means-end relationship T Dalmonte, C Grellois, N Olivetti Journal of Logic and Computation, exac088, 2023 | | 2023 |