:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	De Berardinis, Matteo, Ghilardi, Silvio
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic
Online-Zugang:	https://arxiv.org/abs/2507.06007
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Profiniteness, Monadicity and Universal Models in Modal Logic
von: De Berardinis, Matteo, et al.
Veröffentlicht: (2023)

An essentially algebraic glance to Kripke semantics: the S5 case
von: De Berardinis, Matteo, et al.
Veröffentlicht: (2025)

First-Order Modal Logic via Logical Categories
von: Ghilardi, Silvio, et al.
Veröffentlicht: (2025)

Finite coproducts, coregularity and coexactness for profinite interior algebras
von: De Berardinis, Matteo
Veröffentlicht: (2025)

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

Elementarity of Subgroups and Complexity of Theories for Profinite Groups
von: Block, Jason
Veröffentlicht: (2024)

Rings and Boolean Algebras as Algebraic Theories
von: De Faveri, Arturo
Veröffentlicht: (2025)

A Completeness Theorem for Topological Doctrines
von: Ghilardi, Silvio, et al.
Veröffentlicht: (2025)

Compact Quantitative Theories of Convex Algebras
von: Mio, Matteo
Veröffentlicht: (2025)

Topological Dualities for Modal Algebras
von: Collinson, Matthew
Veröffentlicht: (2026)

Graphical Proof Theory I: Sequent Systems on Undirected Graphs
von: Acclavio, Matteo
Veröffentlicht: (2023)

Profinite lambda-terms and parametricity
von: van Gool, Sam, et al.
Veröffentlicht: (2023)

An Introduction to Categorical Proof Theory
von: Tabatabai, Amirhossein Akbar
Veröffentlicht: (2024)

A calculus for modal compact Hausdorff spaces
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2024)

Proof Theory and Decision Procedures for Deontic STIT Logics
von: Lyon, Tim S., et al.
Veröffentlicht: (2024)

Universal Proof Theory, TACL 2022 Lecture Notes
von: Iemhoff, Rosalie, et al.
Veröffentlicht: (2023)

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

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2018)

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2018)

A Proof-Theoretic Study of Modal Logic
von: Kushida, Hirohiko
Veröffentlicht: (2026)

Proof Theory for Bimodal Provability Logics
von: Miranda, Borja Sierra, et al.
Veröffentlicht: (2026)

Interpolation in Proof Theory
von: van der Giessen, Iris, et al.
Veröffentlicht: (2026)

Proofs that Modify Proofs, 1/2
von: Towsner, Henry
Veröffentlicht: (2025)

An Elementary Proof of the FMP for Kleene Algebra
von: Kappé, Tobias
Veröffentlicht: (2022)

Proofs as Execution Trees for the π-Calculus
von: Acclavio, Matteo, et al.
Veröffentlicht: (2024)

Six Proofs of Interpolation for the Modal Logic K
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2025)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
von: van der Giessen, Iris, et al.
Veröffentlicht: (2023)

Completeness of Relational Algebra via Cylindric Algebra
von: Laštovička, Jan
Veröffentlicht: (2026)

Proof Nets for PiL (Full Version)
von: Acclavio, Matteo, et al.
Veröffentlicht: (2026)

Foundations for an Abstract Proof Theory in the Context of Horn Rules
von: Lyon, Tim S., et al.
Veröffentlicht: (2023)

Proof Identity and Categorical Models of BV
von: Acclavio, Matteo, et al.
Veröffentlicht: (2026)

Profinite rigidity of affine Coxeter groups
von: Paolini, Gianluca, et al.
Veröffentlicht: (2024)

A General Theory of Propositional Modal Bundled Modalities
von: Ding, Yifeng, et al.
Veröffentlicht: (2026)

Quantifier Elimination and Invariant Theory: Applications to Quaternions, Octonions, and Other Algebras
von: Illmer, Maximilian
Veröffentlicht: (2026)

Proofs that Modify Proofs
von: Towsner, Henry
Veröffentlicht: (2024)

Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces
von: Mio, Matteo, et al.
Veröffentlicht: (2023)

Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators
von: Indrzejczak, Andrzej
Veröffentlicht: (2024)

Deciding Equations in the Time Warp Algebra
von: van Gool, Sam, et al.
Veröffentlicht: (2023)

The Proof Analysis Problem
von: Arteche, Noel, et al.
Veröffentlicht: (2025)

DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories
von: Feng, Nick, et al.
Veröffentlicht: (2024)