Subshifts and Logic: Back and Forth

Emmanuel Jeandel Guillaume Theyssier

Published in: CoRR (2009)

Keyphrases

logic programming
modal logic
predicate logic
social networks
classical logic
computational properties
decision making
probabilistic logic
set theory
formal theory
dynamic logic
logical operations
deductive reasoning