An "almost classical" period-based tense logic.
Michael J. WhitePublished in: Notre Dame J. Formal Log. (1988)
Keyphrases
- quantum computation
- classical logic
- logic programming
- modal logic
- databases
- predicate logic
- probability theory
- digital circuits
- defeasible logic
- logical framework
- automated reasoning
- deontic logic
- epistemic logic
- asynchronous circuits
- proof theory
- horn logic
- database
- finite model theory
- computational properties
- probabilistic logic
- logic programs
- multiscale
- decision trees
- knowledge base
- real world
- real time