research
∙
07/17/2023
Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets
This paper establishes alternative characterizations of very expressive ...
share
research
∙
07/16/2023
Nested Sequents for Quantified Modal Logics
This paper studies nested sequents for quantified modal logics. In parti...
research
∙
06/13/2023
Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
We present nested sequent systems for propositional Gödel-Dummett logic ...
research
∙
06/05/2023
Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules
Chase algorithms are indispensable in the domain of knowledge base query...
research
∙
04/27/2023
Standpoint Linear Temporal Logic
Many complex scenarios require the coordination of agents possessing uni...
research
∙
04/13/2023
Decidability of Querying First-Order Theories via Countermodels of Finite Width
We propose a generic framework for establishing the decidability of a wi...
research
∙
04/12/2023
Foundations for an Abstract Proof Theory in the Context of Horn Rules
We introduce a novel, logic-independent framework for the study of seque...
research
∙
10/31/2022
Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
Intuitionistic grammar logics fuse constructive and multi-modal reasonin...
research
∙
10/03/2022
Nested Sequents for First-Order Modal Logics via Reachability Rules
We introduce (cut-free) nested sequent systems for first-order modal log...
research
∙
09/06/2022
Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying
In our pursuit of generic criteria for decidable ontology-based querying...
research
∙
09/06/2022
A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations
This article proposes the use of temporal logic for an analysis of instr...
research
∙
05/05/2022
Automating Reasoning with Standpoint Logic via Nested Sequents
Standpoint logic is a recently proposed formalism in the context of know...
research
∙
10/02/2021
A Framework for Intuitionistic Grammar Logics
We generalize intuitionistic tense logics to the multi-modal case by pla...
research
∙
07/05/2021
