Cover Image

Sharing and Linear Logic with Restricted Access (Extended Version)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Barenbaum, Pablo, Bonelli, Eduardo
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Classical Linear $λ$-Calculus based on Contraposition
by: Barenbaum, Pablo, et al.
Published: (2026)

Verifiers and Generators: Epistemic Semantics for Intuitionistic Logic (Long Version)
by: Barenbaum, Pablo
Published: (2026)

Hybrid Intersection Types for PCF (Extended Version)
by: Barenbaum, Pablo, et al.
Published: (2024)

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)
by: Baader, Franz, et al.
Published: (2025)

Probabilistic Linear Logic Programming with an Application to Bayesian Network Computations (Extended Version)
by: Acclavio, Matteo, et al.
Published: (2026)

JAX Autodiff from a Linear Logic Perspective (Extended Version)
by: Giusti, Giulia, et al.
Published: (2025)

Strong normalization through idempotent intersection types: a new syntactical approach
by: Barenbaum, Pablo, et al.
Published: (2025)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
by: Gheorghiu, Alexander V., et al.
Published: (2023)

Useful Evaluation: Syntax and Semantics (Technical Report)
by: Barenbaum, Pablo, et al.
Published: (2024)

Partially Finite Model Reasoning in Description Logics Extended Version
by: Gogacz, Tomasz, et al.
Published: (2026)

Ordered Adjoint Logic (Extended Version)
by: Roshal, Sophia, et al.
Published: (2026)

Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
by: Kettmann, Pascal, et al.
Published: (2026)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
by: Marin, Sonia, et al.
Published: (2025)

Guarded Fragments Meet Dynamic Logic: The Story of Regular Guards (Extended Version)
by: Bednarczyk, Bartosz, et al.
Published: (2025)

A Proof-Theoretic View of Basic Intuitionistic Conditional Logic (Extended Version)
by: Dalmonte, Tiziano, et al.
Published: (2025)

A General Automata Model for First-Order Temporal Logics (Extended Version)
by: Geatti, Luca, et al.
Published: (2024)

Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic (Extended Version)
by: Niederhauser, Johannes, et al.
Published: (2024)

Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version)
by: Artale, Alessandro, et al.
Published: (2024)

Extending Action Logic with Omega Iteration
by: Pshenitsyn, Tikhon
Published: (2025)

Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics (Extended Version)
by: Kettmann, Pascal, et al.
Published: (2025)

A Strong Bisimulation for a Classical Term Calculus
by: Bonelli, Eduardo, et al.
Published: (2021)

Proof Complexity of Linear Logics
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2026)

The Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version
by: Wernhard, Christoph
Published: (2017)

Rely-Guarantee Reasoning for Causally Consistent Shared Memory (Extended Version)
by: Lahav, Ori, et al.
Published: (2023)

A Linear Temporal Logic of Frequencies on Series of Events
by: Antonelli, Melissa, et al.
Published: (2026)

Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach (Extended Version)
by: Grandury, Marcos, et al.
Published: (2025)

Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic (Extended Version)
by: Haselwarter, Philipp G., et al.
Published: (2026)

Finite Variable Counting Logics with Restricted Requantification
by: Raßmann, Simon, et al.
Published: (2024)

A Hoare Logic for Domain Specification (Full Version)
by: Kamburjan, Eduard, et al.
Published: (2024)

Skolemisation for Intuitionistic Linear Logic
by: Bruni, Alessandro, et al.
Published: (2024)

First-Order LTLf Synthesis with Lookback (Extended Version)
by: Winkler, Sarah
Published: (2025)

Formulas as Processes, Deadlock-Freedom as Choreographies (Extended Version)
by: Acclavio, Matteo, et al.
Published: (2025)

A Hyperlogic for Strategies in Stochastic Games (Extended Version)
by: Gerlach, Lina, et al.
Published: (2025)

Practical Deductive Verification of OCaml Programs (Extended Version)
by: Pereira, Mário
Published: (2024)

Towards Proving Liveness on Weak Memory (Extended Version)
by: Bargmann, Lara, et al.
Published: (2026)

Satisfiability Modulo Extensional Constant Arrays (Extended Version)
by: Preiner, Mathias, et al.
Published: (2026)

On the Verification Problem of Remote Direct Memory Access programs (Extended Version with Appendix)
by: Abdulla, Parosh Aziz, et al.
Published: (2026)

Confluence Criteria for Logically Constrained Rewrite Systems (Full Version)
by: Schöpf, Jonas, et al.
Published: (2023)

On the role of connectivity in Linear Logic proofs
by: Di Donna, Raffaele, et al.
Published: (2025)

Undecidability of Linear Logics without Weakening
by: Suzuki, Jun, et al.
Published: (2025)