Login / Signup
Modality and Axiomatic Theories of Truth II: Kripke-Feferman.
Johannes Stern
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