Barwise Completeness Theorems for Some Biprobability Logics

DOI10.1002/malq.19860320706zbMath0616.03009OpenAlexW2032604955MaRDI QIDQ4724599

Miodrag Rašković, Rade T. Živaljević

Publication date: 1986

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19860320706

zbMATH Keywords

probability logicprobability quantifiersbiprobability modelclassical structure with two probability measures

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Axioms; other general questions in probability (60A05) Models of other mathematical theories (03C65)

Related Items (1)

Logics with Probability Operators

This page was built for publication: Barwise Completeness Theorems for Some Biprobability Logics