Hyperintensions for probabilistic computations

MaRDI QIDQ6599534zbMATH OpenFDO

Authors Giuseppe Primiero

Publication date 6 September 2024

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) General logic (03Bxx)

Cited in

(2)

• A logic of knowledge and justifications, with an application to computational trust
• Hyperintensions as computations

This page was built for publication: Hyperintensions for probabilistic computations

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