Dialogue games for Dishkant's quantum modal logic

MaRDI QIDQ2856074zbMATH OpenFDO

Authors Vladimir L. Vasyukov

Publication date 23 October 2013

zbMATH Keywords

dialogue gamesquantum logicrisk valueŁukasiewicz's logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Quantum logic (03G12)

Recommendations

• On semantic games for Łukasiewicz logic
• From games to truth functions: a generalization of Giles's game
• Dialogue games for many-valued logics -- an overview
• Giles's game and the proof theory of Łukasiewicz logic
• scientific article; zbMATH DE number 5772817

This page was built for publication: Dialogue games for Dishkant's quantum modal logic

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