Local Reductions for the Modal Cube
Authors: Cláudia Nalon, Ullrich Hustadt, Fabio Papacchini and Clare Dixon
Paper Information
| Title: | Local Reductions for the Modal Cube |
| Authors: | Cláudia Nalon, Ullrich Hustadt, Fabio Papacchini and Clare Dixon |
| Proceedings: | IJCAR 2022 Proceedings of IJCAR 2022 |
| Editors: | Laura Kovacs, Jasmin Blanchette and Dirk Pattinson |
| Keywords: | theorem proving, modal logic, benchmarking |
| Pages: | 19 |
| Talk: | Aug 08 14:35 (Session 97D: Knowledge Representation and Justification) |
| Paper: |  |