A model existence theorem in infinitary propositional modal logic.

Krister Segerberg

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

Keyphrases

modal logic
probabilistic model
mathematical model
neural network
expert systems
domain knowledge
dynamic programming
probability distribution
programming language
computational model