Paraconsistent Gödel Modal Logic
Authors: Marta Bilkova, Sabine Frittella and Daniil Kozhemiachenko
Paper Information
| Title: | Paraconsistent Gödel Modal Logic |
| Authors: | Marta Bilkova, Sabine Frittella and Daniil Kozhemiachenko |
| Proceedings: | IJCAR 2022 Proceedings of IJCAR 2022 |
| Editors: | Laura Kovacs, Jasmin Blanchette and Dirk Pattinson |
| Keywords: | Constraint tableaux, Gödel logic, Two-dimensional logics, Modal logics |
| Pages: | 19 |
| Talk: | Aug 10 16:20 (Session 116C: Modalities and Decidability) |
| Paper: |  |