Volume
@proceedings{ARQNL2014,
title = {ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics},
editor = {Christoph Benzmüller and Jens Otten},
series = {EPiC Series in Computing},
volume = {33},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2015}}
Papers
@inproceedings{ARQNL2014:Coalescing_Syntactic_Abstraction_Reasoning,
author = {Damien Doligez and Jael Kriener and Leslie Lamport and Tomer Libal and Stephan Merz},
title = {Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics},
booktitle = {ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics},
editor = {Christoph Benzmüller and Jens Otten},
series = {EPiC Series in Computing},
volume = {33},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/KrcL},
doi = {10.29007/cpbz},
pages = {1-16},
year = {2015}}
@inproceedings{ARQNL2014:Logic_Verifying_Metric_Temporal,
author = {Ping Hou and Yifei Chen},
title = {A Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems},
booktitle = {ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics},
editor = {Christoph Benzmüller and Jens Otten},
series = {EPiC Series in Computing},
volume = {33},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/CG},
doi = {10.29007/smg4},
pages = {17-30},
year = {2015}}
@inproceedings{ARQNL2014:Problem_Libraries_Non_Classical,
author = {Jens Otten and Thomas Raths},
title = {Problem Libraries for Non-Classical Logics},
booktitle = {ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics},
editor = {Christoph Benzmüller and Jens Otten},
series = {EPiC Series in Computing},
volume = {33},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/cGW},
doi = {10.29007/mkdw},
pages = {31-36},
year = {2015}}
@inproceedings{ARQNL2014:HOL_Provers_First_order,
author = {Christoph Benzmüller},
title = {HOL Provers for First-order Modal Logics --- Experiments},
booktitle = {ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics},
editor = {Christoph Benzmüller and Jens Otten},
series = {EPiC Series in Computing},
volume = {33},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/sdnL},
doi = {10.29007/przw},
pages = {37-41},
year = {2015}}
@inproceedings{ARQNL2014:Proof_Support_Common_Logic,
author = {Till Mossakowski and Mihai Codescu and Oliver Kutz and Christoph Lange and Michael Grüninger},
title = {Proof Support for Common Logic},
booktitle = {ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics},
editor = {Christoph Benzmüller and Jens Otten},
series = {EPiC Series in Computing},
volume = {33},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/zPd},
doi = {10.29007/2ksh},
pages = {42-58},
year = {2015}}
@inproceedings{ARQNL2014:Embedding_Quantified_Higher_Order,
author = {Max Wisniewski and Alexander Steen},
title = {Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic},
booktitle = {ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics},
editor = {Christoph Benzmüller and Jens Otten},
series = {EPiC Series in Computing},
volume = {33},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Cww},
doi = {10.29007/dzc2},
pages = {59-64},
year = {2015}}
@inproceedings{ARQNL2014:Dialogues_proof_search,
author = {Jesse Alama},
title = {Dialogues for proof search},
booktitle = {ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics},
editor = {Christoph Benzmüller and Jens Otten},
series = {EPiC Series in Computing},
volume = {33},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Q5SW},
doi = {10.29007/5t86},
pages = {65-70},
year = {2015}}
@inproceedings{ARQNL2014:Theorem_Proving_Logic_with,
author = {Hans De Nivelle},
title = {Theorem Proving for Logic with Partial Functions Using Kleene Logic and Geometric Logic},
booktitle = {ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics},
editor = {Christoph Benzmüller and Jens Otten},
series = {EPiC Series in Computing},
volume = {33},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/2rv},
doi = {10.29007/6qpn},
pages = {71-86},
year = {2015}}