An epistemic constructive definition of information

MaRDI QIDQ5446440zbMATH OpenFDO

Authors Giuseppe Primiero

Publication date 6 March 2008

zbMATH Keywords

constructive type theoryphilosophy of information

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42)

Recommendations

• An epistemic logic for becoming informed
• scientific article; zbMATH DE number 1790346
• Information and knowledge. A constructive type-theoretical approach
• On the amount of information resulting from empirical and theoretical knowledge
• scientific article; zbMATH DE number 5542889

Cited in

(7)

• From data to semantic information
• A multi-agent depth bounded Boolean logic
• On the definition of information
• scientific article; zbMATH DE number 1790346 (Why is no real title available?)
• Epistemic Informativeness
• Realist consequence, epistemic inference, computational correctness
• An epistemic logic for becoming informed

This page was built for publication: An epistemic constructive definition of information

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