001 The Δ = 0 Seepage Protocol, Version 2.2 — A Two-Channel Fixture for Detecting Exact-Zero Assumptions in Tolerance-Band Reasoning OpenAlex Paper Anderson leveille 5 days ago 002 he DLL Laboratory Platform: Status, Methodology, and Empirical Findings Through v9.7 A Bounded, Pre-Geometric Organizational Transition System and Its Evidence-Acquisition Infrastructure OpenAlex Paper Stanley Everett Sambey 5 days ago 003 he DLL Laboratory Platform: Status, Methodology, and Empirical Findings Through v9.7 A Bounded, Pre-Geometric Organizational Transition System and Its Evidence-Acquisition Infrastructure OpenAlex Paper Stanley Everett Sambey 5 days ago 004 Explicit Two-Sided Variable Elimination in the Logic of Paradox: Uniform Interpolation, a Lyndon Refinement, and Finite Designation Definability OpenAlex Paper Joaquim Reizi Higuchi 6 days ago 005 Explicit Two-Sided Variable Elimination in the Logic of Paradox: Uniform Interpolation, a Lyndon Refinement, and Finite Designation Definability OpenAlex Paper Joaquim Reizi Higuchi 6 days ago 006 Gradual Semantics for Weighted Higher-Order Argumentation Frameworks OpenAlex Paper Leïla Amgoud, Dragan Doder et al. 6 days ago 007 Introduction to the 42 <sup>nd</sup> International Conference on Logic Programming Special Issue OpenAlex Paper Laura Giordano, Wolfgang Faber et al. 7 days ago 008 On the completeness of the countable fragment of geometric logic OpenAlex Paper Matthew de Brecht 7 days ago 009 PIDE MCP: Connecting AI Agents to Isabelle OpenAlex Paper Kevin Kappelmann Jul 23 010 PIDE MCP: Connecting AI Agents to Isabelle OpenAlex Paper Kevin Kappelmann Jul 23 011 The Mathematics of Formal Verification in Finance OpenAlex Paper Miquel Noguer Alonso, Alejandro Roige Vazquez Jul 23 012 The Mathematics of Formal Verification in Finance OpenAlex Paper Miquel Noguer Alonso, Alejandro Roige Vazquez Jul 23 013 An Approach to the Abstract Interpretation of Goal-Directed Answer Set Programming OpenAlex Paper DANIEL JURJO-RIVAS, Joaquín Arias et al. Jul 22 014 Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal Translations OpenAlex Paper Zhicheng Chen Jul 22 015 Information Propagation and Contraction in Functional Interpretations OpenAlex Paper C Xu Jul 22 016 Phase Semantic Cut-elimination for Intuitionistic Linear Logic with Least and Greatest Fixed Points OpenAlex Paper Jun Suzuki, Charles Grellois et al. Jul 22 017 Towards Relating Ciao Assertions and LPTP Theorems OpenAlex Paper Marco Pérez, Pedro López-García et al. Jul 22 018 A duality of misère games and play with a pass OpenAlex Paper Koki Suetsugu Jul 21 019 Definable Classes of Models and Frames in Bi-intuitionistic Logic OpenAlex Paper Guillermo Badía, Tomasz Kowalski et al. Jul 21 020 Proof-Theoretic Considerations on the Structure of Reasoning with Counterfactuals and Knowledge OpenAlex Paper Bartosz Więckowski Jul 21 021 ZTL — Zero-Trust Logic OpenAlex Paper Vitaliy Reznik Jul 21 022 Assembled System Theories: Composition as Synthetic Renormalization OpenAlex Paper Oliver Albrecht Jul 20 023 Assembled System Theories: Composition as Synthetic Renormalization OpenAlex Paper Oliver Albrecht Jul 20 024 EZASP - Facilitating the Usage of ASP OpenAlex Paper Rafael Martins, Matthias Knorr et al. Jul 20 025 Towards Relating Ciao Assertions and LPTP Theorems OpenAlex Paper Marco Pérez, Pedro López-García et al. Jul 20 026 Inference-Behaviour Semantics for All$^\ast$ Connectives in Two-Dimensional Sequent Calculi OpenAlex Paper Sophie Nagler Jul 19 027 QBism Logic OpenAlex Paper Kenji Tokuo Jul 19 028 ZTL — Zero-Trust Logic OpenAlex Paper Vitaliy Reznik Jul 19 029 Basic Model Theory for Path Predicate Modal Logic OpenAlex Paper Raul Fervari, Santiago Figueira et al. Jul 18 030 Beyond the Monochord: From Pythagorean Harmony to the Transport-Retention Adjunction OpenAlex Paper James Kovalenko Jul 18 031 Efficient Decision Procedures for RNmatrix Semantics OpenAlex Paper Renato Leme, Carlos Olarte et al. Jul 18 032 Frame Theory OpenAlex Paper Shawn Standefer Jul 17 033 Metatheory: Soundness and Completeness OpenAlex Paper Shawn Standefer Jul 17 034 Metavaluations OpenAlex Paper Shawn Standefer Jul 17 035 Modal Extensions OpenAlex Paper Shawn Standefer Jul 17 036 Component Modalities of Quantum Logic OpenAlex Paper Kenji Tokuo Jul 16 037 Decision-Environment Constraint Dynamics: A Formal Specification OpenAlex Paper John Paul Marat Jul 16 038 Intuitionistic Dynamic Logic OpenAlex Paper Lukas Zenger Jul 15 039 Multi-Tenant LLM Serving: Isolation, SLA Guarantees, and Cost Allocation in Shared Inference Clusters OpenAlex Paper Oleh Ivchenko, Iryna Ivchenko Jul 15 040 Multi-Tenant LLM Serving: Isolation, SLA Guarantees, and Cost Allocation in Shared Inference Clusters OpenAlex Paper Oleh Ivchenko, Iryna Ivchenko Jul 15 041 Multi-Tenant LLM Serving: Isolation, SLA Guarantees, and Cost Allocation in Shared Inference Clusters OpenAlex Paper Oleh Ivchenko, Iryna Ivchenko Jul 15 042 Multi-Tenant LLM Serving: Isolation, SLA Guarantees, and Cost Allocation in Shared Inference Clusters OpenAlex Paper Oleh Ivchenko, Iryna Ivchenko Jul 15 043 A Brief Analysis of Interpolation in Universal Algebraic Logic OpenAlex Paper İhsan Öztürk Jul 14 044 Gubernaut: A Deterministic Homeostatic Controller for Affect-Regulated LLM Agents, Validated Across Independent Model Families OpenAlex Paper Dushyant Sharma Jul 14 045 Gubernaut: A Deterministic Homeostatic Controller for Affect-Regulated LLM Agents, Validated Across Independent Model Families OpenAlex Paper Dushyant Sharma Jul 14 046 Multi-Tenant LLM Serving: Isolation, SLA Guarantees, and Cost Allocation in Shared Inference Clusters OpenAlex Paper Oleh Ivchenko, Iryna Ivchenko Jul 14 047 Multi-Tenant LLM Serving: Isolation, SLA Guarantees, and Cost Allocation in Shared Inference Clusters OpenAlex Paper Oleh Ivchenko, Iryna Ivchenko Jul 14 048 The Constant Domain Axiom in Toposes OpenAlex Paper Jérémie Marquès Jul 14 049 Cover Semantics for Intuitionistic Modalities OpenAlex Paper Nachiappan Valliappan Jul 13 050 Mechanized Proofs of Busch's (2003) and Gleason's Theorems in Lean 4 OpenAlex Paper Bertrand Dalimier Jul 12 051 Mechanized Proofs of Busch's (2003) and Gleason's Theorems in Lean 4 OpenAlex Paper Bertrand Dalimier Jul 12 052 ZTL — Zero-Trust Logic OpenAlex Paper Vitaly Reznik Jul 12 053 ZTL — Zero-Trust Logic OpenAlex Paper Vitaliy Reznik Jul 12 054 Barbed Similarity for the π-Calculus in Beluga: A Case Study in Coinductive Reasoning OpenAlex Paper Lea Trogni, Gabriele Cecilia et al. Jul 11 055 Proceedings of the 21st Workshop on Logical Frameworks and Meta Languages: Theory and Practice OpenAlex Paper Sophie Tourret, Olivier Hermant Jul 11 056 TAGC — On the Deductive Scope of the Inevitability Theorem for the Constitutional Graph G_16: A Logical Audit of the Foundational Proof OpenAlex Paper Alejandro Diaz Jul 11 057 The Coherence Engine: Exploring the Space of Coherent Structures OpenAlex Paper Ryan MacDonald Jul 11 058 The Coherence Engine: Exploring the Space of Coherent Structures OpenAlex Paper Ryan MacDonald Jul 11 059 The First Mathematical Operation : Reflexive Participation, Role Separation, and the Genesis of Executable Structure OpenAlex Paper Hemu Bharadwaj Jul 11 060 The First Mathematical Operation : Reflexive Participation, Role Separation, and the Genesis of Executable Structure OpenAlex Paper Hemu Bharadwaj Jul 11