:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	De Domenico, Andrea, Greco, Giuseppe, Palmigiano, Alessandra
Format:	Preprint
Published:	2026
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2605.17175
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Modular constructive Lyndon interpolation for nondistributive logics
by: De Domenico, Andrea, et al.
Published: (2026)

Refutation calculi for lattice-based logics: from display to tableaux
by: De Domenico, Andrea, et al.
Published: (2026)

Algorithmic correspondence and analytic rules
by: De Domenico, Andrea, et al.
Published: (2022)

Labelled calculi for lattice-based modal logics
by: van der Berg, Ineke, et al.
Published: (2024)

Labelled calculi for the logics of rough concepts
by: van der Berg, Ineke, et al.
Published: (2024)

Non-distributive description logic
by: van der Berg, Ineke, et al.
Published: (2023)

Algebraic proof theory for LE-logics
by: Greco, Giuseppe, et al.
Published: (2018)

Generating proof systems for three-valued propositional logics
by: Greati, Vitor, et al.
Published: (2024)

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
by: De Domenico, Andrea, et al.
Published: (2024)

Obligations and permissions on selfextensional logics
by: De Domenico, Andrea, et al.
Published: (2024)

Obligations and permissions, algebraically
by: De Domenico, Andrea, et al.
Published: (2024)

Unified inverse correspondence for LE-logics
by: Palmigiano, Alessandra, et al.
Published: (2024)

Normative implications
by: De Domenico, Andrea, et al.
Published: (2025)

Realizing the Maximal Analytic Display Fragment of Labeled Sequent Calculi for Tense Logics
by: Lyon, Tim S.
Published: (2024)

A proof-theoretic approach to abstract interpretation
by: D'Silva, Vijay, et al.
Published: (2026)

Modal reduction principles: a parametric shift to graphs
by: Conradie, Willem, et al.
Published: (2024)

Tree Rewriting Calculi for Strictly Positive Logics
by: Santiago-Fernández, Sofía, et al.
Published: (2025)

Sequent Calculi for Data-Aware Modal Logics
by: Areces, Carlos, et al.
Published: (2025)

Questions as cognitive filters
by: Conradie, Willem, et al.
Published: (2025)

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
by: Lyon, Tim S., et al.
Published: (2023)

Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics
by: Nishimura, Yuki
Published: (2022)

Forcing, Transition Algebras, and Calculi
by: Go, Hashimoto, et al.
Published: (2024)

Calculi of epistemic grounding based on Prawitz's theory of grounds
by: d'Aragona, Antonio Piccolomini
Published: (2025)

Local Intuitionistic Modal Logics and Their Calculi
by: Balbiani, Philippe, et al.
Published: (2024)

Sequent Calculi for some subintuitionistic Logics
by: Maleki, Fatemeh Shirmohammadzadeh
Published: (2024)

Rule Formats for Nominal Process Calculi
by: Aceto, Luca, et al.
Published: (2024)

Lax Modal Lambda Calculi
by: Valliappan, Nachiappan
Published: (2025)

On the Expressivity of Typed Concurrent Calculi
by: Paulus, Joseph William Neal
Published: (2024)

Hypersequent Calculi Have Ackermannian Complexity
by: Balasubramanian, A. R., et al.
Published: (2026)

Expressiveness Results for Timed Modal Mu-Calculi
by: Cleaveland, Rance, et al.
Published: (2023)

Sequent Calculi for Data-Aware Modal Logics
by: Areces, Carlos, et al.
Published: (2025)

Bounded Inquisitive Logics: Sequent Calculi and Schematic Validity
by: Litak, Tadeusz, et al.
Published: (2025)

Bisequent Calculi for Neutral Free Logic with Definite Descriptions
by: Indrzejczak, Andrzej, et al.
Published: (2024)

Uniform Cut-free Bisequent Calculi for Three-valued Logics
by: Indrzejczak, Andrzej, et al.
Published: (2024)

Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations
by: Nakamura, Yoshiki
Published: (2023)

Twist Sequent Calculi for S4 and its Neighbors
by: Kamide, Norihiro
Published: (2024)

Normal Nested Answer Set Programs: Syntactics, Semantics and Logical Calculi
by: Imaz, Gonzalo E.
Published: (2024)

Typed Non-determinism in Concurrent Calculi: The Eager Way
by: Heuvel, Bas van den, et al.
Published: (2024)

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
by: Alrabbaa, Christian, et al.
Published: (2025)

Dependence and Independence for Reversible Process Calculi
by: Aubert, Clément, et al.
Published: (2024)