Publication:2901198
From MaRDI portal
zbMath1242.03050MaRDI QIDQ2901198
Heinrich Wansing, Sergei P. Odintsov
Publication date: 17 July 2012
03B45: Modal logic (including the logic of norms)
03B50: Many-valued logic
06E25: Boolean algebras with additional operations (diagonalizable algebras, etc.)
03B53: Paraconsistent logics
Related Items
THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH, Connexive Variants of Modal Logics Over FDE, EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes, BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES, Belnap Constants and Nelson Logic, Relational semantics for normal topological quasi-Boolean logic, Hoop twist-structures, \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics, Modal multilattice logic, 40 years of FDE: an introductory overview, Disentangling \textsf{FDE}-based paraconsistent modal logics, Implicit, explicit and speculative knowledge, Bilattice logic of epistemic actions and knowledge, Modal extension of ideal paraconsistent four-valued logic and its subsystem, Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators, A general framework for FDE-based modal logics, Neighbourhood semantics for FDE-based modal logics, Cut-free sequent calculus and natural deduction for the tetravalent modal logic, Modal bilattice logic and its extensions, Wanted dead or alive: epistemic logic for impure simplicial complexes, A four-valued dynamic epistemic logic, Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation, Belnap-Dunn modal logic with value operators, Product representation for default bilattices: an application of natural duality theory., Implicative twist-structures, A Tableau System for Quasi-Hybrid Logic, Paraconsistent Modal Logics, The lattice of Belnapian modal logics: Special extensions and counterparts, Relational semantics for the 4-valued relevant logics BN4 and E4, An Invitation to New Essays on Belnap-Dunn Logic, Modelling Sources of Inconsistent Information in Paraconsistent Modal 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