Modality and Axiomatic Theories of Truth II: Kripke-Feferman.

Published in: Rev. Symb. Log. (2014)

Keyphrases

multi modal
decision theory
temporal logic
inference rules
modal logic

truth values
real time
medical images
desirable properties
theoretical framework

probabilistic model
artificial neural networks
computational models
information systems
decision theoretic

search engine
probability theory
possibility theory
causal reasoning
genetic algorithm