Finite Trees in Tense Logic.

Fabio Bellissima Saverio Cittadini

Published in: Stud Logica (1999)

Keyphrases

decision trees
classical logic
linear temporal logic
modal logic
asynchronous circuits
multi valued
tree models
tree construction
logic programming
tree structure
temporal relations
bounded degree
defeasible logic
computational properties
tree structures
finite number
description logics