STANDARD BAYES LOGIC IS NOT FINITELY AXIOMATIZABLE

DOI10.1017/S1755020319000157zbMath1452.03051OpenAlexW2782698908MaRDI QIDQ5107536

Zalán Gyenis

Publication date: 27 April 2020

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020319000157

zbMATH Keywords

modal logicBayesian inferenceBayes learningMedvedev framesBayes logicnonfinite axiomatizability

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Logic in the philosophy of science (03A10)

Related Items (1)

The modal logic of Bayesian belief revision

Cites Work

• On the modal logic of subset and superset: tense logic over Medvedev frames
• Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable
• The modal logic of Bayesian belief revision
• In Defence of Objective Bayesianism
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: STANDARD BAYES LOGIC IS NOT FINITELY AXIOMATIZABLE