ARQNL 2018 Automated Reasoning in Quantified Non-Classical Logics