Fabio Papacchini

Available identifiers

zbMath Open papacchini.fabioMaRDI QIDQ2055844

List of research outcomes

Publication	Date of Publication	Type
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	2023-06-29	Paper
Local is best: efficient reductions to modal logic \textsf{K}	2022-12-12	Paper
Correction to: ``Local is best: efficient reductions to modal logic \textsf{K}	2022-12-12	Paper
Local reductions for the modal cube	2022-12-07	Paper
Analysing Spatial Properties on Neighbourhood Spaces	2022-07-18	Paper
Efficient local reductions to basic modal logic	2021-12-01	Paper
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment	2020-09-11	Paper
A tableau calculus for minimal modal model generation	2016-10-07	Paper
Terminating Minimal Model Generation Procedures for Propositional Modal Logics	2014-09-26	Paper
Computing Minimal Models Modulo Subset-Simulation for Modal Logics	2013-09-20	Paper

Research outcomes over time

This page was built for person: Fabio Papacchini