Vol-1770
urn:nbn:de:0074-1770-7

Copyright © 2016 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.



ARQNL 2016
Automated Reasoning in Quantified Non-Classical Logics


Proceedings of the 2nd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2016)
affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2016)

Coimbra, Portugal, July 1, 2016.


Edited by

Christoph Benzmüller *
Jens Otten **

* Dep. of Mathematics and Computer Science, Freie Universität Berlin, Germany
** Institutt for informatikk, University of Oslo, Norway




Table of Contents

Invited Contributions

Regular Contributions

Additional Material

2016-12-24: submitted by Christoph Benzmüller and Jens Otten, metadata incl. bibliographic data published under Creative Commons CC0
2016-12-24: published on CEUR-WS.org |valid HTML5|