Finite satisfiability (logics)