scientific article; zbMATH DE number 4006238

zbMATH Open0621.03012MaRDI QIDQ3757895FDOQ3757895

Hugues Leblanc

Publication date: 1985

Title of this publication is not available (Why is that?)

Recommendations

• Probability semantics for quantifier logic
• Mathematical Foundations of Computer Science 2003
• Unary interpretability logic
• scientific article; zbMATH DE number 1948164
• Publication:2722069
• Probabilities in first—order logic of a unary function and a binary relation
• scientific article; zbMATH DE number 3948264
• Random unary predicates: Almost sure theories and countable models
• Probabilistic semantics and program analysis

zbMATH Keywords

assumption setstruth-value-theoryunary probability functions

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Axioms; other general questions in probability (60A05)

Cited In (3)

• Indiscernibility and identity in probability theory
• Uncountable realtime probabilistic classes
• Random unary predicates: Almost sure theories and countable models

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