Axioms for tense logic. I. "Since" and "until".
John P. BurgessPublished in: Notre Dame J. Formal Log. (1982)
Keyphrases
- sound and complete axiomatization
- computational properties
- knowledge base
- horn clauses
- automated reasoning
- neural network
- logic programming
- set theory
- digital circuits
- modal logic
- complete axiomatization
- multi valued
- classical logic
- natural deduction
- logic synthesis
- case study
- information systems
- logical theories
- formal theory
- probability theory
- first order logic