Homophonic Theory of Truth for Tense Logic.
Torben BraünerPublished in: Advances in Modal Logic (2000)
Keyphrases
- formal theory
- proof theory
- computer algebra
- truth values
- theoretical basis
- commonsense reasoning
- modal logic
- probability theory
- logical framework
- proof theoretic
- deductive reasoning
- theoretical framework
- programming language
- causal reasoning
- set theory
- mathematical theory
- general theory
- propositional theories
- sound and complete axiomatization
- database
- computational properties
- automated reasoning
- expressive power
- logic programming
- knowledge base
- databases