Decidability and Undecidability in Probability Logic

DOI10.1007/978-3-540-92687-0_30zbMath1211.03044OpenAlexW1789921437MaRDI QIDQ3605546

Sebastiaan A. Terwijn

Publication date: 24 February 2009

Published in: Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-92687-0_30

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Paraconsistent logics (03B53)

Related Items (2)

Computational Hardness of Validity in Probability Logic ⋮ Computability of validity and satisfiability in probability logics over finite and countable models

Cites Work

• A logic for inductive probabilistic reasoning
• Probabilistic Logic and Induction
• Robust logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Decidability and Undecidability in Probability Logic