Propositional dynamic logic with Belnapian truth values

MaRDI QIDQ4636052zbMATH OpenFDO

Authors Igor Sedlár

Publication date 23 April 2018

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

zbMATH Keywords

propositional dynamic logicfour-valued logicBelnap-Dunn logic

Mathematics Subject Classification ID

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

Recommendations

• Modal logics with Belnapian truth values
• The \(B_{4}\)-valued propositional Belnap-Dunn logic
• Four-valued modal logic: Kripke semantics and duality
• Three-valued propositional dynamic logic
• Correspondence analysis for first degree entailment

Cited in

(9)

• Modal extension of ideal paraconsistent four-valued logic and its subsystem
• Three-valued propositional dynamic logic
• Modal logics with Belnapian truth values
• On a multilattice analogue of a hypersequent S5 calculus
• Modelling sources of inconsistent information in paraconsistent modal logic
• Propositional logic based on the dynamics of belief
• Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
• Non-classical PDL on the cheap
• The \(B_{4}\)-valued propositional Belnap-Dunn logic

This page was built for publication: Propositional dynamic logic with Belnapian truth values

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4636052)