Extending the Modal Logic Prover KSP

6^th July 2020, 15:00
Fabio Papacchini

Abstract

In this talk I will discuss a work in progress on how to extend the resolution-based reasoner KSP for multi-modal logic K to more expressive multi-modal languages (e.g., languages with reflexivity or symmetry).