Model theory for modal logic - Part III existence and predication.

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

Keyphrases

modal logic
computational model
theoretical framework
temporal logic
theoretical foundation
high level
mathematical model
formal model
expert systems
relational databases
probability distribution
database applications
default logic