Saved in:
| Main Authors: | De Berardinis, Matteo, Ghilardi, Silvio |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| 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)
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)
by: De Berardinis, Matteo, et al.
Published: (2025)
First-Order Modal Logic via Logical Categories
by: Ghilardi, Silvio, et al.
Published: (2025)
by: Ghilardi, Silvio, et al.
Published: (2025)
Finite coproducts, coregularity and coexactness for profinite interior algebras
by: De Berardinis, Matteo
Published: (2025)
by: De Berardinis, Matteo
Published: (2025)
Unification with Simple Variable Restrictions and Admissibility of $Π_{2}$-rules
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)
Elementarity of Subgroups and Complexity of Theories for Profinite Groups
by: Block, Jason
Published: (2024)
by: Block, Jason
Published: (2024)
Rings and Boolean Algebras as Algebraic Theories
by: De Faveri, Arturo
Published: (2025)
by: De Faveri, Arturo
Published: (2025)
A Completeness Theorem for Topological Doctrines
by: Ghilardi, Silvio, et al.
Published: (2025)
by: Ghilardi, Silvio, et al.
Published: (2025)
Compact Quantitative Theories of Convex Algebras
by: Mio, Matteo
Published: (2025)
by: Mio, Matteo
Published: (2025)
Topological Dualities for Modal Algebras
by: Collinson, Matthew
Published: (2026)
by: Collinson, Matthew
Published: (2026)
Graphical Proof Theory I: Sequent Systems on Undirected Graphs
by: Acclavio, Matteo
Published: (2023)
by: Acclavio, Matteo
Published: (2023)
Profinite lambda-terms and parametricity
by: van Gool, Sam, et al.
Published: (2023)
by: van Gool, Sam, et al.
Published: (2023)
An Introduction to Categorical Proof Theory
by: Tabatabai, Amirhossein Akbar
Published: (2024)
by: Tabatabai, Amirhossein Akbar
Published: (2024)
A calculus for modal compact Hausdorff spaces
by: Bezhanishvili, Nick, et al.
Published: (2024)
by: Bezhanishvili, Nick, et al.
Published: (2024)
Proof Theory and Decision Procedures for Deontic STIT Logics
by: Lyon, Tim S., et al.
Published: (2024)
by: Lyon, Tim S., et al.
Published: (2024)
Universal Proof Theory, TACL 2022 Lecture Notes
by: Iemhoff, Rosalie, et al.
Published: (2023)
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)
by: Jeong, Gyeongwon, et al.
Published: (2026)
Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2018)
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)
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2018)
A Proof-Theoretic Study of Modal Logic
by: Kushida, Hirohiko
Published: (2026)
by: Kushida, Hirohiko
Published: (2026)
Proof Theory for Bimodal Provability Logics
by: Miranda, Borja Sierra, et al.
Published: (2026)
by: Miranda, Borja Sierra, et al.
Published: (2026)
Interpolation in Proof Theory
by: van der Giessen, Iris, et al.
Published: (2026)
by: van der Giessen, Iris, et al.
Published: (2026)
Proofs that Modify Proofs, 1/2
by: Towsner, Henry
Published: (2025)
by: Towsner, Henry
Published: (2025)
An Elementary Proof of the FMP for Kleene Algebra
by: Kappé, Tobias
Published: (2022)
by: Kappé, Tobias
Published: (2022)
Proofs as Execution Trees for the π-Calculus
by: Acclavio, Matteo, et al.
Published: (2024)
by: Acclavio, Matteo, et al.
Published: (2024)
Six Proofs of Interpolation for the Modal Logic K
by: Bezhanishvili, Nick, et al.
Published: (2025)
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)
by: van der Giessen, Iris, et al.
Published: (2023)
Completeness of Relational Algebra via Cylindric Algebra
by: Laštovička, Jan
Published: (2026)
by: Laštovička, Jan
Published: (2026)
Proof Nets for PiL (Full Version)
by: Acclavio, Matteo, et al.
Published: (2026)
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)
by: Lyon, Tim S., et al.
Published: (2023)
Proof Identity and Categorical Models of BV
by: Acclavio, Matteo, et al.
Published: (2026)
by: Acclavio, Matteo, et al.
Published: (2026)
Profinite rigidity of affine Coxeter groups
by: Paolini, Gianluca, et al.
Published: (2024)
by: Paolini, Gianluca, et al.
Published: (2024)
A General Theory of Propositional Modal Bundled Modalities
by: Ding, Yifeng, et al.
Published: (2026)
by: Ding, Yifeng, et al.
Published: (2026)
Quantifier Elimination and Invariant Theory: Applications to Quaternions, Octonions, and Other Algebras
by: Illmer, Maximilian
Published: (2026)
by: Illmer, Maximilian
Published: (2026)
Proofs that Modify Proofs
by: Towsner, Henry
Published: (2024)
by: Towsner, Henry
Published: (2024)
Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces
by: Mio, Matteo, et al.
Published: (2023)
by: Mio, Matteo, et al.
Published: (2023)
Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators
by: Indrzejczak, Andrzej
Published: (2024)
by: Indrzejczak, Andrzej
Published: (2024)
Deciding Equations in the Time Warp Algebra
by: van Gool, Sam, et al.
Published: (2023)
by: van Gool, Sam, et al.
Published: (2023)
The Proof Analysis Problem
by: Arteche, Noel, et al.
Published: (2025)
by: Arteche, Noel, et al.
Published: (2025)
DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories
by: Feng, Nick, et al.
Published: (2024)
by: Feng, Nick, et al.
Published: (2024)
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)