Three-valued propositional dynamic logic

MaRDI QIDQ2737566zbMATH OpenFDO

Authors Laurenţiu Leuştean

Publication date 5 May 2002

zbMATH Keywords

propositional dynamic logicthree-valued Łukasiewicz logic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1902535
• On models for propositional dynamic logic
• scientific article; zbMATH DE number 4049622
• Some modal logics based on a three-valued logic
• Propositional dynamic logic with Belnapian truth values

Cited in

(10)

• Sound and complete Gentzen deduction system for intermediate propositional logic
• Propositional logics for three
• Valuationally decided formula question in Łukasiewicz propositional logic systems
• scientific article; zbMATH DE number 6519594 (Why is no real title available?)
• Propositional dynamic logic with Belnapian truth values
• scientific article; zbMATH DE number 1902535 (Why is no real title available?)
• A Correspondence Between Variable Relations And Three-Valued Propositional Logic
• scientific article; zbMATH DE number 6125205 (Why is no real title available?)
• Finitely-valued propositional dynamic logic
• Programming in three-valued logic

This page was built for publication: Three-valued propositional dynamic logic

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