:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Ceragioli, Lorenzo, Degano, Pierpaolo, Galletta, Letterio, Viganò, Luca
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science
Online Access:	https://arxiv.org/abs/2410.21214
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Logic for Policy Based Resource Exchanges in Multiagent Systems
by: Ceragioli, Lorenzo, et al.
Published: (2024)

A Proof System with Causal Labels (Part II): checking Counterfactual Fairness
by: Ceragioli, Leonardo, et al.
Published: (2025)

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

A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality
by: Ceragioli, Leonardo, et al.
Published: (2025)

A Coalgebraic Model of Quantum Bisimulation
by: Ceragioli, Lorenzo, et al.
Published: (2025)

Counting Worlds Branching Time Semantics for post-hoc Bias Mitigation in generative AI
by: Buda, Alessandro G., et al.
Published: (2026)

Trustworthiness Preservation by Copies of Machine Learning Systems
by: Ceragioli, Leonardo, et al.
Published: (2025)

A Unified Framework and Comparative Study of Decentralized Finance Derivatives Protocols
by: Pennella, Luca, et al.
Published: (2025)

Arboreal Categories: An Axiomatic Theory of Resources
by: Abramsky, Samson, et al.
Published: (2021)

Coverage Types for Resource-Based Policies
by: Passarelli, Angelo, et al.
Published: (2025)

Quantum Bisimilarity is a Congruence under Physically Admissible Schedulers
by: Ceragioli, Lorenzo, et al.
Published: (2024)

Verification of Quantum Protocols Adopting Physically Admissible Schedulers
by: Ceragioli, Lorenzo, et al.
Published: (2026)

Existential and positive games: a comonadic and axiomatic view
by: Abramsky, Samson, et al.
Published: (2025)

Fairness and promptness in Muller formulas
by: Busatto-Gaston, Damien, et al.
Published: (2022)

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
by: Mannucci, Mirco A., et al.
Published: (2025)

Resource-Bounded Martin-Löf Type Theory: Compositional Cost Analysis for Dependent Types
by: Mannucci, Mirco A., et al.
Published: (2026)

On the Axioms of Arboreal Categories
by: Jakl, Tomáš, et al.
Published: (2026)

Progress, Justness and Fairness in Modal $μ$-Calculus Formulae
by: Spronck, Myrthe, et al.
Published: (2024)

Inferentialist Resource Semantics
by: Gheorghiu, Alexander V., et al.
Published: (2024)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
by: Joyce, Johnny
Published: (2025)

Resource approximation for the $λμ$-calculus
by: Barbarossa, Davide
Published: (2024)

Parametric Iteration in Resource Theories
by: Di Giorgio, Alessandro, et al.
Published: (2025)

Effect Algebras as Omega-categories
by: Perticone, Lorenzo, et al.
Published: (2023)

Strategies as Resource Terms, and their Categorical Semantics
by: Blondeau-Patissier, Lison, et al.
Published: (2023)

Fair Asynchronous Session Subtyping
by: Bravetti, Mario, et al.
Published: (2021)

Declassification Policy for Program Complexity Analysis
by: Hainry, Emmanuel, et al.
Published: (2024)

Restricted Chase Termination: You Want More than Fairness
by: Carral, David, et al.
Published: (2025)

Finitely accessible arboreal adjunctions and Hintikka formulae
by: Reggio, Luca, et al.
Published: (2023)

Systematic Design of Separation Logics
by: Bruni, Roberto, et al.
Published: (2026)

A Performance Verification Methodology for Resource Allocation Heuristics
by: Goel, Saksham, et al.
Published: (2023)

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

Policies Grow on Trees: Model Checking Families of MDPs
by: Andriushchenko, Roman, et al.
Published: (2024)

Dynamic Epistemic Logic of Resource Bounded Information Mining Agents
by: Dolgorukov, Vitaliy, et al.
Published: (2024)

Resource-Aware Quantum Programming with General Recursion and Quantum Control
by: Chardonnet, Kostia, et al.
Published: (2025)

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

The QBF Gallery 2023
by: Heisinger, Simone, et al.
Published: (2026)

Linear Realisability over nets: multiplicatives (long version)
by: Ragot, Adrien, et al.
Published: (2024)

Sequent Calculi for Data-Aware Modal Logics
by: Areces, Carlos, et al.
Published: (2025)

The complexity of deciding characteristic formulae in van Glabbeek's branching-time spectrum
by: Aceto, Luca, et al.
Published: (2024)

The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract)
by: Aceto, Luca, et al.
Published: (2025)