Old Web
English
Sign In
Acemap
>
Paper
>
Probabilistic propositional logic
Probabilistic propositional logic
1987
H. Guggenheimer
Keywords:
Zeroth-order logic
Probabilistic argumentation
Propositional variable
Resolution (logic)
Algorithm
Well-formed formula
Dynamic logic (modal logic)
Probabilistic CTL
Mathematics
Autoepistemic logic
Computer science
Theoretical computer science
Intermediate logic
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
1
Citations
NaN
KQI
[]