A Note on the Logic of Eventual Permanence for Linear Time.

Published in: Notre Dame J. Formal Log. (2008)

Keyphrases

modal logic
multi valued
case study
logic programming
classical logic
predicate logic
worst case
abductive reasoning
data sets
neural network
search engine
automated reasoning
computational properties
set theory
proof theory