Paracomplete Logic K1 ? Natural Deduction, its Automation, Complexity and Applications. - Alexander Bolotov; Daniil Kozhemiachenko; Vasilyi Shangin (FLAP, 2018)

Generalisation of proof simulation procedures for Frege systems by M.L. Bonet and S.R. Buss. - Daniil Kozhemiachenko (J. Appl. Non Class. Logics, 2018)

Constraint Tableaux for Two-Dimensional Fuzzy Logics. - Marta Bílková; Sabine Frittella; Daniil Kozhemiachenko (TABLEAUX, 2021)

Non-distributive Relatives of ETL and NFL. - Daniil Kozhemiachenko (Stud Logica, 2021)

Paraconsistent Gödel Modal Logic. - Marta Bílková; Sabine Frittella; Daniil Kozhemiachenko (IJCAR, 2022)

Fonctions de croyances interprétées sur la logique de Belnap-Dunn. - Marta Bílková; Sabine Frittella; Daniil Kozhemiachenko; Ondrej Majer; Sajad Nazari (JIAF, 2022)

Describing and quantifying contradiction between pieces of evidence via Belnap Dunn logic and Dempster-Shafer theory. - Marta Bílková; Sabine Frittella; Daniil Kozhemiachenko; Ondrej Majer; Krishna Manoorkar (ISIPTA, 2023)

Non-standard Modalities in Paraconsistent Gödel Logic. - Marta Bílková; Sabine Frittella; Daniil Kozhemiachenko (JELIA, 2023)

Décrire et quantifier la contradiction entre des éléments de preuve via la logique de Belnap-Dunn et la théorie de Dempster-Shafer. - Marta Bílková; Sabine Frittella; Daniil Kozhemiachenko; Ondrej Majer; Krishna Manoorkar (JIAF, 2023)

Two-Layered Logics for Paraconsistent Probabilities. - Marta Bílková; Sabine Frittella; Daniil Kozhemiachenko; Ondrej Majer (WoLLIC, 2023)

Paraconsistent Gödel modal logic on bi-relational frames. - Marta Bílková; Sabine Frittella; Daniil Kozhemiachenko (CoRR, 2023)

Presumptive Reasoning in a Paraconsistent Setting. - Sabine Frittella; Daniil Kozhemiachenko; Bart Verheij (TARK, 2023)

Paraconsistent and fuzzy modal logics for reasoning about uncertainty. (Logiques modales paraconsistantes et floues pour le raisonnement sur l'incertitude). - Daniil Kozhemiachenko (2023)

Qualitative reasoning in a two-layered framework. - Marta Bílková; Sabine Frittella; Daniil Kozhemiachenko; Ondrej Majer (Int. J. Approx. Reason., 2023)

Queries With Exact Truth Values in Paraconsistent Description Logics. - Meghyn Bienvenu; Camille Bourgaux; Daniil Kozhemiachenko (KR, 2024)

Abductive Reasoning in a Paraconsistent Framework. - Meghyn Bienvenu; Katsumi Inoue; Daniil Kozhemiachenko (KR, 2024)

Reasoning with belief functions over Belnap-Dunn logic. - Marta Bílková; Sabine Frittella; Daniil Kozhemiachenko; Ondrej Majer; Sajad Nazari (Ann. Pure Appl. Log., 2024)

Non-contingency in a paraconsistent setting. - Daniil Kozhemiachenko; Liubov Vashentseva (Log. J. IGPL, 2024)

Paraconsistent Constructive Modal Logic. - Han Gao; Daniil Kozhemiachenko; Nicola Olivetti (WoLLIC, 2025)

Knowledge and ignorance in Belnap-Dunn logic. - Daniil Kozhemiachenko; Liubov Vashentseva (Log. J. IGPL, 2025)

Fuzzy bi-Gödel modal logic and its paraconsistent relatives. - Marta Bílková; Sabine Frittella; Daniil Kozhemiachenko (J. Log. Comput., 2025)

Two-layered logics for probabilities and belief functions over Belnap-Dunn logic. - Marta Bílková; Sabine Frittella; Daniil Kozhemiachenko; Ondrej Majer (Math. Struct. Comput. Sci., 2025)

Complexity of Abduction in Łukasiewicz Logic. - Katsumi Inoue; Daniil Kozhemiachenko (CoRR, 2025)