scientific article; zbMATH DE number 1823891

MaRDI QIDQ3153302zbMATH OpenFDO

Authors Nebojša Ikodinović

Publication date 5 November 2002

zbMATH Keywords

Boolean modelprobability logicprobability operators

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Logic with extra quantifiers and operators (03C80) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• Completeness theorem for propositional probabilistic models whose measures have only finite ranges
• Validity Measurement in Some Propositional Logics
• Barwise Completeness Theorems for Some Biprobability Logics
• Completeness theorem for probability models with finitely many valued measure in logic with integrals
• An extension of the probability logic \(\mathrm{LPP}_2\)

Cited in

(3)

• Completeness theorem for biprobability models
• An extension of the probability logic \(\mathrm{LPP}_2\)
• Completeness theorem for propositional probabilistic models whose measures have only finite ranges

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 Q3153302)