default search action

combined dblp search
author search
venue search
publication search

ask others

5th ARQNL 2024: Nancy, France

> Home > Conferences and Workshops > ARQNL

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
- export record
  dblp key:
  - conf/arqnl/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arqnl/2024
Christoph Benzmüller, Jens Otten, Revantha Ramanayake:
Proceedings of the 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2024) affiliated with the 12th International Joint Conference on Automated Reasoning (IJCAR 2024), Nancy, France, July 1, 2024. CEUR Workshop Proceedings 3875, CEUR-WS.org 2024

Invited Talks

- view
  - electronic edition @ ceur-ws.org
  - details & citations
- export record
  dblp key:
  - conf/arqnl/Galmiche24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arqnl/Galmiche24
Didier Galmiche:
Separation Logics: Semantics and Proofs (invited talk abstract). 1-4
- view
  - electronic edition @ ceur-ws.org
  - details & citations
- export record
  dblp key:
  - conf/arqnl/Tabatabai24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arqnl/Tabatabai24
Amir Akbar Tabatabai:
On the Computational Content of Intuitionistic Modal Proofs (invited talk abstract). 5

Regular Papers

- view
  - electronic edition @ ceur-ws.org
  - details & citations
- export record
  dblp key:
  - conf/arqnl/Slaney24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arqnl/Slaney24
John K. Slaney:
A Fresh Look at Relevant Number Theory. 6-13
- view
  - electronic edition @ ceur-ws.org
  - details & citations
- export record
  dblp key:
  - conf/arqnl/HaaksemaOR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arqnl/HaaksemaOR24
Bastiaan Haaksema, Jens Otten, Revantha Ramanayake:
Implementing Intermediate Logics. 14-23
- view
  - electronic edition @ ceur-ws.org
  - details & citations
- export record
  dblp key:
  - conf/arqnl/GalmicheHM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arqnl/GalmicheHM24
Didier Galmiche, Brandon Hornbeck, Daniel Méry:
Automated Proof Search in Intuitionistic Sentential Logic. 24-37
- view
  - electronic edition @ ceur-ws.org
  - details & citations
- export record
  dblp key:
  - conf/arqnl/PasettoB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arqnl/PasettoB24
Luca Pasetto, Christoph Benzmüller:
Implementing the Fatio Protocol for Multi-Agent Argumentation in LogiKEy. 38-47
- view
  - electronic edition @ ceur-ws.org
  - details & citations
- export record
  dblp key:
  - conf/arqnl/IndrzejczakP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arqnl/IndrzejczakP24
Andrzej Indrzejczak, Yaroslav I. Petrukhin:
Bisequent Calculi for Neutral Free Logic with Definite Descriptions. 48-61
- view
  - electronic edition @ ceur-ws.org
  - details & citations
- export record
  dblp key:
  - conf/arqnl/Indrzejczak24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arqnl/Indrzejczak24
Andrzej Indrzejczak:
When Epsilon meets Lambda: Extended Leśniewski's Ontology. 62-79
- view
  - electronic edition @ ceur-ws.org
  - details & citations
- export record
  dblp key:
  - conf/arqnl/Raya24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arqnl/Raya24
Rodrigo Raya:
On Regular Relations in Parametric Array Theories. 80-91
- view
  - electronic edition @ ceur-ws.org
  - details & citations
- export record
  dblp key:
  - conf/arqnl/AllegreLR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/arqnl/AllegreLR24
Loïc Allègre, Ophélie Lacroix, Christian Retoré:
A Proof-Theoretical Approach to Some Extensions of First Order Quantification. 92-107

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.