Login / Signup
Even more about the lattice of tense logics.
Marcus Kracht
Published in:
Arch. Math. Log. (1992)
Keyphrases
</>
valued logic
expressive power
lattice structure
modal logic
temporal relations
classical logic
real time
nonmonotonic logics
lattice points
truth values
multi agent
database systems
neural network
data sets
fuzzy logic
propositional logic
search algorithm
learning algorithm
real world
boolean algebra