Fabio Papacchini

MaRDI QIDQ2055844zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Model construction for modal clauses	2025-01-31	Paper
Model comparison games for Horn description logics	2024-12-19	Paper
Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic	2024-04-26	Paper
Finite Models for a Spatial Logic with Discrete and Topological Path Operators	2023-08-08	Paper
Bridging the gap between single- and multi-model predictive runtime verification Formal Methods in System Design	2023-06-29	Paper
Local is best: efficient reductions to modal logic \textsf{K} Journal of Automated Reasoning	2022-12-12	Paper
Correction to: ``Local is best: efficient reductions to modal logic \textsf{K}'' Journal of Automated Reasoning	2022-12-12	Paper
Local reductions for the modal cube	2022-12-07	Paper
Analysing Spatial Properties on Neighbourhood Spaces (available as arXiv preprint)	2022-07-18	Paper
Efficient local reductions to basic modal logic	2021-12-01	Paper
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment ACM Transactions on Computational Logic	2020-09-11	Paper
A tableau calculus for minimal modal model generation Electronic Notes in Theoretical Computer Science	2016-10-07	Paper
Terminating minimal model generation procedures for propositional modal logics Automated Reasoning	2014-09-26	Paper
Computing minimal models modulo subset-simulation for modal logics Frontiers of Combining Systems	2013-09-20	Paper

Research outcomes over time

This page was built for person: Fabio Papacchini