Models Minimal Modulo Subset-Simulation for Expressive Propositional Modal Logics
Authors: Fabio Papacchini and Renate A. Schmidt
Paper Information
| Title: | Models Minimal Modulo Subset-Simulation for Expressive Propositional Modal Logics |
| Authors: | Fabio Papacchini and Renate A. Schmidt |
| Proceedings: | ARW-DT 2014 - Automated Reasoning Workshop/Deduktionstreffen Proceedings |
| Editor: | Manfred Kerber |
| Keywords: | Model generation, Minimal model generation, Subset-simulation, Tableaux calculi, automate reasoning |
| Abstract: | ABSTRACT. Terminating procedures for the generation of models minimal modulo subset-simulation for normal modal logics have recently been presented. In this abstract we explain what are the challenges to generalise those procedures to more expressive modal logics, and discuss possible solutions. |
| Pages: | 0 |
| Talk: | Jul 24 14:30 |
| Paper: |  |