TY - RPRT TI - Crisp bi-Gödel modal logic and its paraconsistent expansion AU - Marta Bilkova AU - Sabine Frittella AU - Daniil Kozhemiachenko PY - 2023 DO - 10.1093/jigpal/jzad017 UR - https://arxiv.org/abs/2211.01882 ID - 2211.01882 ER -