:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Anantharaman, Siva, Frittella, Sabine, Nguyen, Benjamin
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science
Accès en ligne:	https://arxiv.org/abs/2502.18974
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Vers une modélisation de la confiance dans le renseignement sur les menaces cyber
par: Bobelin, Laurent, et autres
Publié: (2025)

Filter-induced entailment relations in paraconsistent Gödel logics
par: Frittella, Sabine, et autres
Publié: (2024)

Fuzzy bi-Gödel modal logic and its paraconsistent relatives
par: Bilkova, Marta, et autres
Publié: (2023)

Two-layered logics for probabilities and belief functions over Belnap--Dunn logic
par: Bilkova, Marta, et autres
Publié: (2024)

On the Metric Temporal Logic for Continuous Stochastic Processes
par: Ikeda, Mitsumasa, et autres
Publié: (2023)

Reaching Classicality through Transitive Closure
par: Blomet, Quentin, et autres
Publié: (2025)

A Dual-Threshold Probabilistic Knowing Value Logic
par: Wang, Shanxia
Publié: (2026)

Type-Based Termination for Futures
par: Somayyajula, Siva, et autres
Publié: (2021)

Dependent Type Refinements for Futures
par: Somayyajula, Siva, et autres
Publié: (2023)

Qualitative reasoning in a two-layered framework
par: Bilkova, Marta, et autres
Publié: (2022)

Branch-Well-Structured Transition Systems and Extensions
par: Bollig, Benedikt, et autres
Publié: (2022)

Distribution-Free Normal Modal Logics
par: Hartonas, Chrysafis
Publié: (2024)

Coalgebraic Behavioral Metrics
par: Baldan, Paolo, et autres
Publié: (2017)

Distribution-Free Modal Logics: Sahlqvist -- Van Benthem Correspondence
par: Chrysafis, et autres
Publié: (2025)

On The Metric Nature of (Differential) Logical Relations
par: Lago, Ugo Dal, et autres
Publié: (2025)

On the Metric Nature of (Differential) Logical Relations
par: Lago, Ugo Dal, et autres
Publié: (2026)

Beyond the Spell: A Dynamic Logic Analysis of Misdirection
par: Icard, Benjamin, et autres
Publié: (2024)

Shininess, strong politeness, and unicorns
par: Przybocki, Benjamin, et autres
Publié: (2025)

Characterizing Sets of Theories That Can Be Disjointly Combined
par: Przybocki, Benjamin, et autres
Publié: (2025)

Being polite is not enough (and other limits of theory combination)
par: Toledo, Guilherme V., et autres
Publié: (2025)

Synthesis with Privacy Against an Observer
par: Kupferman, Orna, et autres
Publié: (2024)

Bringing closure to theory combination properties
par: Toledo, Guilherme V., et autres
Publié: (2026)

A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
par: Nguyên, Lê Thành Dũng, et autres
Publié: (2022)

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
par: Liang, Xiaolong, et autres
Publié: (2024)

The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems
par: Przybocki, Benjamin, et autres
Publié: (2024)

A Behavioral Theory for Distributed Systems with Weak Recovery
par: Fabbretti, Giovanni, et autres
Publié: (2024)

CTL* Model Checking on Infinite Families of Finite-State Labeled Transition Systems (Technical Report)
par: Pettinau, Roberto, et autres
Publié: (2026)

Queries With Exact Truth Values in Paraconsistent Description Logics
par: Bienvenu, Meghyn, et autres
Publié: (2024)

Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems
par: Kanovich, Max, et autres
Publié: (2016)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
par: Hermes, Marc, et autres
Publié: (2023)

On the Complexity of Robust Markov Decision Processes and Bisimulation Metrics
par: Suilen, Marnix, et autres
Publié: (2026)

Group Knowledge of Hypothetical Values
par: Baltag, Alexandru, et autres
Publié: (2025)

Many-Valued Modal Logic
par: Karniel, Amir, et autres
Publié: (2024)

The Proof Analysis Problem
par: Arteche, Noel, et autres
Publié: (2025)

Distributive Laws of Monadic Containers
par: Purdy, Chris, et autres
Publié: (2025)

Paraconsistent Existential Graphs Gamma Peirce System
par: Sierra-Aristizabal, Manuel
Publié: (2023)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
par: Bloch, Isabelle, et autres
Publié: (2025)

Cut-free Deductive System for Continuous Intuitionistic Logic
par: Geoffroy, Guillaume
Publié: (2025)

Semantical Analysis of Intuitionistic Modal Logics between CK and IK
par: de Groot, Jim, et autres
Publié: (2024)

Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces
par: Mio, Matteo, et autres
Publié: (2023)