Barwise Completeness Theorems for Some Biprobability Logics

DOI10.1002/MALQ.19860320706MaRDI QIDQ4724599zbMATH OpenOpenAlexFDO

Authors Miodrag Rašković, Rade Ž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

biprobability modelclassical structure with two probability measuresprobability logicprobability quantifiers

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 23199
• scientific article; zbMATH DE number 38461
• Probabilization of logics: completeness and decidability
• Completeness theorem for a logic with imprecise and conditional probabilities
• An analytic completeness theorem for logics with probability quantifiers
• scientific article; zbMATH DE number 32142
• Completeness theorem for biprobability models
• scientific article; zbMATH DE number 4181318
• Some Completeness Results for Propositional Conditional Logics
• Completeness of certain bimodal logics for subset spaces

Cited in

(8)

• Completeness theorem for biprobability models
• scientific article; zbMATH DE number 416756 (Why is no real title available?)
• scientific article; zbMATH DE number 1823891 (Why is no real title available?)
• Biprobability logic with conditional expectation
• Completeness Theorem for Singular Biprobability Models
• scientific article; zbMATH DE number 38461 (Why is no real title available?)
• ANALYTIC COMPLETENESS THEOREM FOR ABSOLUTELY CONTINUOUS BIPROBABILITY MODELS
• Logics with Probability Operators

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

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