scientific article; zbMATH DE number 701123

MaRDI QIDQ4316722zbMATH OpenFDO

Authors Radoslav S. Djordjević

Publication date 16 January 1995

Full work available at URL https://eudml.org/doc/118554

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

biprobability models of a logic with integralscompactnesscompleteness

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80)

Recommendations

• Analytic completeness theorem for singular biprobability models
• ANALYTIC COMPLETENESS THEOREM FOR ABSOLUTELY CONTINUOUS BIPROBABILITY MODELS
• Completeness theorem for probability models with finitely many valued measure in logic with integrals

Cited in

(8)

• An analytic completeness theorem for logics with probability quantifiers
• scientific article; zbMATH DE number 38461 (Why is no real title available?)
• ANALYTIC COMPLETENESS THEOREM FOR ABSOLUTELY CONTINUOUS BIPROBABILITY MODELS
• Analytic completeness theorem for singular biprobability models
• Completeness theorem for probability models with finitely many valued measure in logic with integrals
• scientific article; zbMATH DE number 6787693 (Why is no real title available?)
• Formal Methods in Software and Systems Modeling
• Schönfinkel-type operators for classical logic

This page was built for publication:

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