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

Belnap-Dunn logicfour-valued logicpropositional dynamic 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

(11)

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

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)