Tim Lyon

CoRR, 2024

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents.

[BibT_eX]

[DOI]

Ian Shillito

Alwen Tiu

CoRR, 2024

Proof Theory and Decision Procedures for Deontic STIT Logics.

[BibT_eX]

[DOI]

CoRR, 2024

Decidability of Quasi-Dense Modal Logics.

[BibT_eX]

[DOI]

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents.

[BibT_eX]

[DOI]

Jonas Karge

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

2023

A Logical Analysis of Instrumentality Judgments: Means-End Relations in the Context of Experience and Expectations.

[BibT_eX]

[DOI]

Matteo Pascucci

J. Philos. Log., October, 2023

Nested sequents for intermediate logics: the case of Gödel-Dummett logics.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, April, 2023

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations.

[BibT_eX]

[DOI]

Dominique Larchey-Wendling

Agata Ciabattoni

Didier Galmiche

Daniel Méry

Nicola Olivetti

Revantha Ramanayake

CoRR, 2023

Decidability of Querying First-Order Theories via Countermodels of Finite Width.

[BibT_eX]

[DOI]

Thomas Feller

Sebastian Rudolph

CoRR, 2023

Foundations for an Abstract Proof Theory in the Context of Horn Rules.

[BibT_eX]

[DOI]

CoRR, 2023

Nested Sequents for Quantified Modal Logics.

[BibT_eX]

[DOI]

Eugenio Orlandelli

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

Connecting Proof Theory and Knowledge Representation: Sequent Calculi and the Chase with Existential Rules.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Standpoint Linear Temporal Logic.

[BibT_eX]

[DOI]

Nicola Gigante

Lucía Gómez Álvarez

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets.

[BibT_eX]

[DOI]

Sebastian Rudolph

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying.

[BibT_eX]

[DOI]

Thomas Feller

Sebastian Rudolph

Proceedings of the 26th International Conference on Database Theory, 2023

2022

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement.

[BibT_eX]

[DOI]

CoRR, 2022

Nested Sequents for First-Order Modal Logics via Reachability Rules.

[BibT_eX]

[DOI]

CoRR, 2022

Automating Reasoning with Standpoint Logic via Nested Sequents.

[BibT_eX]

[DOI]

Lucía Gómez Álvarez

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Uniform and Modular Sequent Systems for Description Logics.

[BibT_eX]

[DOI]

Jonas Karge

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

2021

Display to Labeled Proofs and Back Again for Tense Logics.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2021

On the correspondence between nested calculi and semantic systems for intuitionistic logics.

[BibT_eX]

[DOI]

J. Log. Comput., 2021

Refining Labelled Systems for Modal and Constructive Logics with Applications.

[BibT_eX]

[DOI]

CoRR, 2021

Nested Sequents for Intuitionistic Modal Logics via Structural Refinement.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

The Varieties of Ought-Implies-Can and Deontic STIT Logic.

[BibT_eX]

Proceedings of the Deontic Logic and Normative Systems - 15th International Conference, 2021

A Framework for Intuitionistic Grammar Logics.

[BibT_eX]

[DOI]

Proceedings of the Logic and Argumentation - 4th International Conference, 2021

2020

On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems.

[BibT_eX]

[DOI]

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2020

Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents.

[BibT_eX]

[DOI]

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2020

Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents.

[BibT_eX]

[DOI]

Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020

A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms.

[BibT_eX]

[DOI]

Francesco Olivieri

Proceedings of the Logic and Argumentation - Third International Conference, 2020

2019

Display to Labelled Proofs and Back Again for Tense Logics.

[BibT_eX]

[DOI]

CoRR, 2019

Appendix for: Cut-free Calculi and Relational Semantics for Temporal STIT logics.

[BibT_eX]

[DOI]

CoRR, 2019

Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019

A Neutral Temporal Deontic STIT Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019

Cut-Free Calculi and Relational Semantics for Temporal STIT Logics.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

2018

From Display to Labelled Proofs for Tense Logics.

[BibT_eX]

[DOI]

Agata Ciabattoni