Simple probabilistic semantics for propositional K, T, B, S4, and S5.

Charles G. Morgan

Published in: J. Philos. Log. (1982)

Keyphrases

probabilistic logic
bayesian networks
neural network
probabilistic model
generative model
uncertain data
propositional logic
statistical relational learning
disjunctive logic programming
sound and complete axiomatization