scientific article; zbMATH DE number 5990430

MaRDI QIDQ3105881zbMATH OpenFDO

Authors Miodrag Rašković, Zoran Marković, Zoran Ognjanović, Nebojša Ikodinović, Aleksandar Perović

Publication date 19 December 2011

zbMATH Keywords

probabilistic logicssurvey paper

Mathematics Subject Classification ID

Probability and inductive logic (03B48)

Cited in

(6)

• A propositional probabilistic logic with discrete linear time for reasoning about evidence
• A probabilistic logic between \(LPP_1\) and \(LPP_2\)
• Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics
• Bipolar logic and probabilistic interpretation
• \(p\)-adic probability logics
• Justification Logics with Probability Operators

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