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

Full work available at URL https://doi.org/10.1007/978-3-031-99536-1_5

zbMATH Keywords

constructive modal logicdecidabilityNelson logicparaconsistent logicsequent calculi

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• A natural intuitionistic modal logic: axiomatization and bi-nested calculus
• Constructible falsity
• Constructive modal logics. I
• Constructive negation, implication, and co-implication
• scientific article; zbMATH DE number 3706414 (Why is no real title available?)
• scientific article; zbMATH DE number 2070200 (Why is no real title available?)
• scientific article; zbMATH DE number 1848312 (Why is no real title available?)
• scientific article; zbMATH DE number 3412605 (Why is no real title available?)
• Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
• Modal Operators over Constructive Logic
• Models for stronger normal intuitionistic modal logics
• Natural deduction and context as (constructive) modality
• On intuitionistic modal epistemic logic
• Proof theory of Nelson's paraconsistent logic: a uniform perspective
• Terminating calculi and countermodels for constructive modal logics
• Towards an intuitionistic deontic logic tolerating conflicting obligations

Cited in

(1)

• Queries with exact truth values on concept and role atoms in paraconsistent description logics

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)