Axioms for tense logic. II. Time periods.
John P. BurgessPublished in: Notre Dame J. Formal Log. (1982)
Keyphrases
- sound and complete axiomatization
- set theory
- classical logic
- horn clauses
- logic programming
- multi valued
- computational properties
- complete axiomatization
- action theories
- modal logic
- information systems
- knowledge base
- probabilistic logic
- logical theories
- predicate logic
- valued logic
- genetic algorithm
- machine learning
- semantics of logic programs
- logic synthesis
- epistemic logic
- truth values
- case study
- real time
- probability theory
- logic programs