scientific article; zbMATH DE number 5035596
From MaRDI portal
Publication:5474628
zbMath1105.03024MaRDI QIDQ5474628
Publication date: 26 June 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (8)
40 years of FDE: an introductory overview ⋮ Disentangling \textsf{FDE}-based paraconsistent modal logics ⋮ The lattice of Belnapian modal logics: Special extensions and counterparts ⋮ Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators ⋮ A general framework for FDE-based modal logics ⋮ On a multilattice analogue of a hypersequent S5 calculus ⋮ PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS ⋮ Neighbourhood semantics for FDE-based modal logics
This page was built for publication: