TY  - RPRT
TI  - Computabilities of Validity and Satisfiability in Probability Logics over Finite and Countable Models
AU  - Greg Yang
PY  - 2014
DO  - 10.1080/11663081.2016.1139967
UR  - https://arxiv.org/abs/1410.3059
ID  - 1410.3059
ER  -