default search action
3rd ARQNL 2018: Oxford, UK
- Christoph Benzmüller, Jens Otten:
Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2018), Oxford, UK, July 18, 2018. CEUR Workshop Proceedings 2095, CEUR-WS.org 2018
Invited Contributions
- Lawrence S. Moss:
Implementations of Natural Logics. 1-10 - Giles Reger:
Some Thoughts About FOL-Translations in Vampire. 11-25
Regular Contributions
- Ahmad-Saher Azizi-Sultan:
Pseudo-Propositional Logic. 26-33 - Tomer Libal:
A Simple Semi-automated Proof Assistant for First-order Modal Logics. 34-48 - Didier Galmiche, Daniel Méry:
Labelled Connection-based Proof Search for Multiplicative Intuitionistic. 49-63 - Eugenio Orlandelli, Giovanna Corsi:
Labelled Calculi for Quantified Modal Logics with Non-rigid and Non-denoting Terms. 64-78 - Alexander Steen, Christoph Benzmüller:
System Demonstration: The Higher-Order Prover Leo-III. 79-85 - Wieger Wesselink, Tim A. C. Willemse:
Evidence Extraction from Parameterised Boolean Equation Systems. 86-100
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-25 23:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: