12 citations · 68 across the 25 of their papers we have counts for
6 papers · 1 filter
Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
Tim S. Lyon
Intuitionistic grammar logics fuse constructive and multi-modal reasoning while permitting the use of converse modalities, serving as a generalization of standard intuitionistic mo…
Nested Sequents for First-Order Modal Logics via Reachability Rules
Tim S. Lyon
We introduce the first cut-free nested sequent systems for first-order modal logics that admit increasing, decreasing, constant, and empty domains along with so-called general path…
Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying
Thomas Feller, Tim S. Lyon, Piotr Ostropolski-Nalewaja +1
In our pursuit of generic criteria for decidable ontology-based querying, we introduce 'finite-cliquewidth sets' (FCS) of existential rules, a model-theoretically defined class of…
A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations
Kees van Berkel, Tim S. Lyon, Matteo Pascucci
This article proposes the use of temporal logic for an analysis of instrumentality inspired by the work of G.H. von Wright. The first part of the article contains the philosophical…
Uniform and Modular Sequent Systems for Description Logics
Tim Lyon, Jonas Karge
We introduce a framework that allows for the construction of sequent systems for expressive description logics extending ALC. Our framework not only covers a wide array of common d…
Automating Reasoning with Standpoint Logic via Nested Sequents
Tim S. Lyon, Lucía Gómez Álvarez
Standpoint logic is a recently proposed formalism in the context of knowledge integration, which advocates a multi-perspective approach permitting reasoning with a selection of div…