scientific article

zbMath1242.03050MaRDI QIDQ2901198

Heinrich Wansing, Sergei P. Odintsov

Publication date: 17 July 2012

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Paraconsistent logics (03B53)

Related Items (35)

Modal bilattice logic and its extensions ⋮ Wanted dead or alive: epistemic logic for impure simplicial complexes ⋮ EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes ⋮ Hoop twist-structures ⋮ Modal multilattice logic ⋮ 40 years of FDE: an introductory overview ⋮ Disentangling \textsf{FDE}-based paraconsistent modal logics ⋮ Belnap Constants and Nelson Logic ⋮ BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES ⋮ Relational semantics for normal topological quasi-Boolean logic ⋮ \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics ⋮ The lattice of Belnapian modal logics: Special extensions and counterparts ⋮ Relational semantics for the 4-valued relevant logics BN4 and E4 ⋮ Implicative twist-structures ⋮ A four-valued dynamic epistemic logic ⋮ An Invitation to New Essays on Belnap-Dunn Logic ⋮ Modelling Sources of Inconsistent Information in Paraconsistent Modal Logic ⋮ Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation ⋮ Bilattice logic of epistemic actions and knowledge ⋮ Belnap-Dunn modal logic with value operators ⋮ Implicit, explicit and speculative knowledge ⋮ Modal extension of ideal paraconsistent four-valued logic and its subsystem ⋮ Product representation for default bilattices: an application of natural duality theory. ⋮ Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators ⋮ A general framework for FDE-based modal logics ⋮ A Tableau System for Quasi-Hybrid Logic ⋮ Towards a bridge over two approaches in connexive logic ⋮ On Definability of Connectives and Modal Logics over FDE ⋮ On a multilattice analogue of a hypersequent S5 calculus ⋮ PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS ⋮ Paraconsistent Modal Logics ⋮ Neighbourhood semantics for FDE-based modal logics ⋮ Cut-free sequent calculus and natural deduction for the tetravalent modal logic ⋮ THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH ⋮ Connexive Variants of Modal Logics Over FDE

This page was built for publication: