Logical Definability on Infinite Traces.

Werner Ebinger Anca Muscholl

Published in: ICALP (1993)

Keyphrases

logical reasoning
fixed point
propositional logic
logical framework
machine learning
search engine
multi agent systems
log files
probabilistic logic
logical structure
predicate calculus
logical properties
finitely representable