Propositional dynamic logic with Belnapian truth values

zbMATH Open1400.03058arXiv1608.06084MaRDI QIDQ4636052FDOQ4636052

Authors: Igor Sedlár 

Publication date: 23 April 2018

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

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

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)

Cited In (9)

• Three-valued propositional dynamic logic
• Modelling sources of inconsistent information in paraconsistent modal logic
• Modal extension of ideal paraconsistent four-valued logic and its subsystem
• Non-classical PDL on the cheap
• Propositional logic based on the dynamics of belief
• On a multilattice analogue of a hypersequent S5 calculus
• Modal logics with Belnapian truth values
• Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
• 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)