:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	De Berardinis, Matteo, Ghilardi, Silvio
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2507.06007
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Profiniteness, Monadicity and Universal Models in Modal Logic
by: De Berardinis, Matteo, et al.
Published: (2023)

An essentially algebraic glance to Kripke semantics: the S5 case
by: De Berardinis, Matteo, et al.
Published: (2025)

First-Order Modal Logic via Logical Categories
by: Ghilardi, Silvio, et al.
Published: (2025)

Finite coproducts, coregularity and coexactness for profinite interior algebras
by: De Berardinis, Matteo
Published: (2025)

Unification with Simple Variable Restrictions and Admissibility of $Π_{2}$-rules
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)

Elementarity of Subgroups and Complexity of Theories for Profinite Groups
by: Block, Jason
Published: (2024)

Rings and Boolean Algebras as Algebraic Theories
by: De Faveri, Arturo
Published: (2025)

A Completeness Theorem for Topological Doctrines
by: Ghilardi, Silvio, et al.
Published: (2025)

Compact Quantitative Theories of Convex Algebras
by: Mio, Matteo
Published: (2025)

Topological Dualities for Modal Algebras
by: Collinson, Matthew
Published: (2026)

Graphical Proof Theory I: Sequent Systems on Undirected Graphs
by: Acclavio, Matteo
Published: (2023)

Profinite lambda-terms and parametricity
by: van Gool, Sam, et al.
Published: (2023)

An Introduction to Categorical Proof Theory
by: Tabatabai, Amirhossein Akbar
Published: (2024)

A calculus for modal compact Hausdorff spaces
by: Bezhanishvili, Nick, et al.
Published: (2024)

Proof Theory and Decision Procedures for Deontic STIT Logics
by: Lyon, Tim S., et al.
Published: (2024)

Universal Proof Theory, TACL 2022 Lecture Notes
by: Iemhoff, Rosalie, et al.
Published: (2023)

An Introduction to Razborov's Flag Algebra as a Proof System for Extremal Graph Theory
by: Jeong, Gyeongwon, et al.
Published: (2026)

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2018)

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2018)

A Proof-Theoretic Study of Modal Logic
by: Kushida, Hirohiko
Published: (2026)

Proof Theory for Bimodal Provability Logics
by: Miranda, Borja Sierra, et al.
Published: (2026)

Interpolation in Proof Theory
by: van der Giessen, Iris, et al.
Published: (2026)

Proofs that Modify Proofs, 1/2
by: Towsner, Henry
Published: (2025)

An Elementary Proof of the FMP for Kleene Algebra
by: Kappé, Tobias
Published: (2022)

Proofs as Execution Trees for the π-Calculus
by: Acclavio, Matteo, et al.
Published: (2024)

Six Proofs of Interpolation for the Modal Logic K
by: Bezhanishvili, Nick, et al.
Published: (2025)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
by: van der Giessen, Iris, et al.
Published: (2023)

Completeness of Relational Algebra via Cylindric Algebra
by: Laštovička, Jan
Published: (2026)

Proof Nets for PiL (Full Version)
by: Acclavio, Matteo, et al.
Published: (2026)

Foundations for an Abstract Proof Theory in the Context of Horn Rules
by: Lyon, Tim S., et al.
Published: (2023)

Proof Identity and Categorical Models of BV
by: Acclavio, Matteo, et al.
Published: (2026)

Profinite rigidity of affine Coxeter groups
by: Paolini, Gianluca, et al.
Published: (2024)

A General Theory of Propositional Modal Bundled Modalities
by: Ding, Yifeng, et al.
Published: (2026)

Quantifier Elimination and Invariant Theory: Applications to Quaternions, Octonions, and Other Algebras
by: Illmer, Maximilian
Published: (2026)

Proofs that Modify Proofs
by: Towsner, Henry
Published: (2024)

Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces
by: Mio, Matteo, et al.
Published: (2023)

Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators
by: Indrzejczak, Andrzej
Published: (2024)

Deciding Equations in the Time Warp Algebra
by: van Gool, Sam, et al.
Published: (2023)

The Proof Analysis Problem
by: Arteche, Noel, et al.
Published: (2025)

DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories
by: Feng, Nick, et al.
Published: (2024)