## ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics8 articles•86 pages•Published: December 14, 2015 ## Papers
## Keyphrasesautomated theorem proving ^{3}, axiomatization, Common Logic, dialogical logic, dialogue games, distributed hybrid systems, embedding, experiments, first-order modal logics, higher-order automated theorem provers, higher-order logic, hybrid logic, intuitionistic logic^{2}, logic translation, Logics for partial functions, Metric Temporal Logic, modal logic^{2}, nominal logic, non-classical logics, problem libraries, proof calculus, proof search, quantified dynamic logic, temporal logic, theorem proving^{2}, three-valued logic, TLA |