Arbitrage-free modeling under Knightian uncertainty