home
modal logic
type theory
rational choice
probabilistic logic
uncertainty frameworks
probability, causation and confirmation
