scientific article; zbMATH DE number 1552348

MaRDI QIDQ4524593zbMATH OpenFDO

Authors Bernard Ycart, Marie-Christine Rousset

Publication date 19 March 2001

zbMATH Keywords

description logicprobability distributionsrandom sentencesdecidable fragment of first-order logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 887782
• On random models of finite power and monadic logic
• Ups and downs of first order sentences on random graphs
• scientific article
• EMSO(FO$^2$) 0-1 Law Fails for All Dense Random Graphs

Cited in

(3)

• Entropy of formulas
• A logical approach to asymptotic combinatorics. II: Monadic second-order properties
• Zero-one laws and almost sure valuations of first-order logic in semiring semantics

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