12 citations · 32 across the 7 of their papers we have counts for
12 papers · 1 filter
The Varieties of Ought-Implies-Can and Deontic STIT Logic
Kees van Berkel, Tim S. Lyon
STIT logic is a prominent framework for the analysis of multi-agent choice-making. In the available deontic extensions of STIT, the principle of Ought-implies-Can (OiC) fulfills a…
Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
Tim S. Lyon
We introduce and study single-conclusioned nested sequent calculi for a broad class of intuitionistic multi-modal logics known as "intuitionistic grammar logics (IGLs)." These logi…
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…
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…
Refining Labelled Systems for Modal and Constructive Logics with Applications
Tim Lyon
This thesis introduces the "method of structural refinement", which serves as a means of transforming the relational semantics of a modal and/or constructive logic into an 'economi…
Nested Sequents for Intuitionistic Modal Logics via Structural Refinement
Tim S. Lyon
We employ a recently developed methodology -- called "structural refinement" -- to extract nested sequent systems for a sizable class of intuitionistic modal logics from their resp…