FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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: