finite satisfiability (logics)