Spectra and satisfiability for logics with successor and a unary function.

Arthur Milchior

Published in: Math. Log. Q. (2018)

Keyphrases

pairwise
decision procedures
computational complexity
np complete
expressive power
piecewise linear
data sets
genetic algorithm
phase transition
propositional logic
computational properties
modal logic
reasoning problems