Cover Image

Distributed Transition System with Tags and Value-wise Metric, for Privacy Analysis

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Anantharaman, Siva, Frittella, Sabine, Nguyen, Benjamin
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

Vers une modélisation de la confiance dans le renseignement sur les menaces cyber
by: Bobelin, Laurent, et al.
Published: (2025)

Filter-induced entailment relations in paraconsistent Gödel logics
by: Frittella, Sabine, et al.
Published: (2024)

Fuzzy bi-Gödel modal logic and its paraconsistent relatives
by: Bilkova, Marta, et al.
Published: (2023)

Two-layered logics for probabilities and belief functions over Belnap--Dunn logic
by: Bilkova, Marta, et al.
Published: (2024)

Reaching Classicality through Transitive Closure
by: Blomet, Quentin, et al.
Published: (2025)

On the Metric Temporal Logic for Continuous Stochastic Processes
by: Ikeda, Mitsumasa, et al.
Published: (2023)

A Dual-Threshold Probabilistic Knowing Value Logic
by: Wang, Shanxia
Published: (2026)

Branch-Well-Structured Transition Systems and Extensions
by: Bollig, Benedikt, et al.
Published: (2022)

Distribution-Free Normal Modal Logics
by: Hartonas, Chrysafis
Published: (2024)

Type-Based Termination for Futures
by: Somayyajula, Siva, et al.
Published: (2021)

Dependent Type Refinements for Futures
by: Somayyajula, Siva, et al.
Published: (2023)

Coalgebraic Behavioral Metrics
by: Baldan, Paolo, et al.
Published: (2017)

Distribution-Free Modal Logics: Sahlqvist -- Van Benthem Correspondence
by: Chrysafis, et al.
Published: (2025)

On The Metric Nature of (Differential) Logical Relations
by: Lago, Ugo Dal, et al.
Published: (2025)

On the Metric Nature of (Differential) Logical Relations
by: Lago, Ugo Dal, et al.
Published: (2026)

Beyond the Spell: A Dynamic Logic Analysis of Misdirection
by: Icard, Benjamin, et al.
Published: (2024)

Synthesis with Privacy Against an Observer
by: Kupferman, Orna, et al.
Published: (2024)

A Behavioral Theory for Distributed Systems with Weak Recovery
by: Fabbretti, Giovanni, et al.
Published: (2024)

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
by: Liang, Xiaolong, et al.
Published: (2024)

Shininess, strong politeness, and unicorns
by: Przybocki, Benjamin, et al.
Published: (2025)

Characterizing Sets of Theories That Can Be Disjointly Combined
by: Przybocki, Benjamin, et al.
Published: (2025)

Being polite is not enough (and other limits of theory combination)
by: Toledo, Guilherme V., et al.
Published: (2025)

Bringing closure to theory combination properties
by: Toledo, Guilherme V., et al.
Published: (2026)

A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
by: Nguyên, Lê Thành Dũng, et al.
Published: (2022)

CTL* Model Checking on Infinite Families of Finite-State Labeled Transition Systems (Technical Report)
by: Pettinau, Roberto, et al.
Published: (2026)

The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems
by: Przybocki, Benjamin, et al.
Published: (2024)

Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems
by: Kanovich, Max, et al.
Published: (2016)

Qualitative reasoning in a two-layered framework
by: Bilkova, Marta, et al.
Published: (2022)

On the Complexity of Robust Markov Decision Processes and Bisimulation Metrics
by: Suilen, Marnix, et al.
Published: (2026)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
by: Hermes, Marc, et al.
Published: (2023)

Paraconsistent Existential Graphs Gamma Peirce System
by: Sierra-Aristizabal, Manuel
Published: (2023)

Group Knowledge of Hypothetical Values
by: Baltag, Alexandru, et al.
Published: (2025)

Many-Valued Modal Logic
by: Karniel, Amir, et al.
Published: (2024)

Cut-free Deductive System for Continuous Intuitionistic Logic
by: Geoffroy, Guillaume
Published: (2025)

Structural Analysis of Boolean Equation Systems
by: Keiren, Jeroen, et al.
Published: (2010)

Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces
by: Mio, Matteo, et al.
Published: (2023)

Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques
by: D'Angelo, Keri, et al.
Published: (2024)

Semantical Analysis of Intuitionistic Modal Logics between CK and IK
by: de Groot, Jim, et al.
Published: (2024)

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
by: Almeida, Rodrigo Nicolau
Published: (2023)

Forcing, Transition Algebras, and Calculi
by: Go, Hashimoto, et al.
Published: (2024)