A Modal Logic for Temporal and Jurisdictional Classifier Models

Cecilia Di Florio, Huimin Dong, Antonino Rotolo

Logic-based models can be used to build verification tools for machine learning classifiers employed in the legal field. ML classifiers predict the outcomes of new cases based on p…