Possible-Worlds Semantics for Modal Notions Conceived as Predicates.

Volker Halbach Hannes Leitgeb Philip D. Welch

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

Keyphrases

modal logic
temporal logic
probabilistic databases
nonmonotonic logics
user defined
default reasoning
deductive reasoning
genetic algorithm
learning algorithm
data streams
expert systems
probabilistic inference
datalog programs
key properties