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