Self-extensional Paradefinite Four-valued Modal Logic Compatible with Standard Modal Logic

Norihiro Kamide. Self-extensional Paradefinite Four-valued Modal Logic Compatible with Standard Modal Logic. In 53rd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2023, Matsue, Japan, May 22-24, 2023. pages 30-35, IEEE, 2023. [doi]

Abstract

Abstract is missing.