scientific article; zbMATH DE number 6863662

zbMath1400.03058arXiv1608.06084MaRDI QIDQ4636052

Igor Sedlár

Publication date: 23 April 2018

Full work available at URL: https://arxiv.org/abs/1608.06084

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

zbMATH Keywords

four-valued logicpropositional dynamic logicBelnap-Dunn logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Many-valued logic (03B50)

Related Items (4)

Modelling Sources of Inconsistent Information in Paraconsistent Modal Logic ⋮ Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation ⋮ Modal extension of ideal paraconsistent four-valued logic and its subsystem ⋮ On a multilattice analogue of a hypersequent S5 calculus

This page was built for publication: