-models of extensions of Kripke-Platek set theory.

Peter Päppinghaus

Published in: Logic Colloquium (1985)

Keyphrases

set theory
probabilistic model
real time
inference rules
decision making
high order
modal logic
fuzzy set theory