Cyclic Proofs, Hypersequents, and Transitive Closure Logic
Authors: Anupam Das and Marianna Girlando
Paper Information
| Title: | Cyclic Proofs, Hypersequents, and Transitive Closure Logic |
| Authors: | Anupam Das and Marianna Girlando |
| Proceedings: | IJCAR 2022 Proceedings of IJCAR 2022 |
| Editors: | Laura Kovacs, Jasmin Blanchette and Dirk Pattinson |
| Keywords: | Cyclic proofs, Transitive Closure Logic, Hypersequents, Propositional Dynamic Logic |
| Pages: | 20 |
| Talk: | Aug 09 11:40 (Session 102D: Proof Systems and Recursion) |
| Paper: |  |