ARQNL 2014: Volume Information

ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics

Papers

Keyphrases

automated theorem proving³, 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², logic translation, Logics for partial functions, Metric Temporal Logic, modal logic², nominal logic, non-classical logics, problem libraries, proof calculus, proof search, quantified dynamic logic, temporal logic, theorem proving², three-valued logic, TLA.