Sequential operators in computability logic.

Giorgi Japaridze

Published in: Inf. Comput. (2008)

Keyphrases

multi valued
modal operators
logic programming
modal logic
classical logic
genetic algorithm
databases
sequential search
algebraic operators
totally ordered
predicate logic
nonmonotonic logics
defeasible logic
probabilistic logic
automated reasoning
building blocks
description logics
search algorithm