Monodic Fragments of Probabilistic First-Order Logic

DOI10.1007/978-3-662-43951-7_22zbMath1407.03036OpenAlexW253853260MaRDI QIDQ5167843

Carsten Lutz, Jean Christoph Jung, Lutz Schröder, Sergei S. Goncharov

Publication date: 1 July 2014

Published in: Automata, Languages, and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-43951-7_22

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Decidability of theories and sets of sentences (03B25)

This page was built for publication: Monodic Fragments of Probabilistic First-Order Logic