ARQNL 2014: Volume InformationARQNL 2014. Automated Reasoning in Quantified NonClassical Logics8 articles•86 pages•Published: December 14, 2015 PapersKeyphrasesautomated theorem proving^{3}, axiomatization, Common Logic, dialogical logic, dialogue games, distributed hybrid systems, embedding, experiments, firstorder modal logics, higherorder automated theorem provers, higherorder logic, hybrid logic, intuitionistic logic^{2}, logic translation, Logics for partial functions, Metric Temporal Logic, modal logic^{2}, nominal logic, nonclassical logics, problem libraries, proof calculus, proof search, quantified dynamic logic, temporal logic, theorem proving^{2}, threevalued logic, TLA. 
