A conjectured axiomatization of two-dimensional Reichenbachian tense logic.
Lennart ÅqvistPublished in: J. Philos. Log. (1979)
Keyphrases
- three dimensional
- logic programming
- complete axiomatization
- proof theory
- multi dimensional
- predicate logic
- classical logic
- sound and complete axiomatization
- asynchronous circuits
- digital circuits
- set theory
- computational properties
- multi valued
- situation calculus
- modal logic
- database
- temporal relations
- general theory
- defeasible logic
- packing problem
- epistemic logic
- deontic logic
- database systems
- machine learning
- neural network