Paraconsistent constructive modal logic

DOI10.1007/978-3-031-99536-1_5MaRDI QIDQ6876466zbMATH OpenFDO

Authors Han Gao, Daniil Kozhemiachenko, N. Olivetti

Publication date 13 January 2026

zbMATH Keywords

decidabilityparaconsistent logicsequent calculiNelson logicconstructive modal logic

Mathematics Subject Classification ID

Computer science (68-XX)

This page was built for publication: Paraconsistent constructive modal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6876466)