ARQNL 2014 Automated Reasoning in Quantified Non-Classical Logics

Dowload the complete ARQNL 2014 Workshop Proceedings:

• Christoph Benzmüller, Jens Otten (Eds.)
  Automated Reasoning in Quantified Non-Classical Logics,
  Proceedings of the 1st International Workshop, ARQNL 2014, Vienna/Austria, 2014.
  [ arqnl2014_proceedings.pdf ]
  

These are the individual papers presented at the ARQNL 2014 Workshop:

• Jesse Alama
  Dialogues for proof search
  [ arqnl2014_paper1.pdf ]

• Christoph Benzmüller
  HOL Provers for First-order Modal Logics --- Experiments
  [ arqnl2014_paper2.pdf ]

• Damein Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, and Stephan Merz
  Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
  [ arqnl2014_paper3.pdf ]

• Ping Hou and Yifei Chen
  A Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems
  [ arqnl2014_paper4.pdf ]

• Till Mossakowski, Mihai Codescu, Oliver Kutz, Christoph Lange, and Michael Grüninger
  Proof Support for Common Logic
  [ arqnl2014_paper5.pdf ]

• Hans De Nivelle
  Theorem Proving for Logic with Partial Functions Using Kleene Logic and Geometric Logic
  [ arqnl2014_paper6.pdf ]

• Jens Otten and Thomas Raths
  Problem Libraries for Non-Classical Logics
  [ arqnl2014_paper7.pdf ]

• Max Wisniewski and Alexander Steen
  Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic
  [ arqnl2014_paper8.pdf ]

Please contact us if you have problems downloading the proceedings or individual papers.