:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Tobler, James, Smith, Graeme
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science
Online Access:	https://arxiv.org/abs/2602.17142
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Using Rely/Guarantee to Pinpoint Assumptions underlying Security Protocols
by: Yatapanage, Nisansala P., et al.
Published: (2023)

Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures
by: Colvin, Robert J., et al.
Published: (2024)

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

Detecting speculative data flow vulnerabilities using weakest precondition reasoning
by: Smith, Graeme
Published: (2025)

Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions
by: Stoltenow, Lara, et al.
Published: (2024)

Equivalence and Conditional Independence in Atomic Sheaf Logic
by: Simpson, Alex
Published: (2024)

On Categories of Nested Conditions
by: Rensink, Arend, et al.
Published: (2024)

Initial Algebra Correspondence under Reachability Conditions
by: Kori, Mayuko, et al.
Published: (2025)

A Complete Diagrammatic Calculus for Conditional Gaussian Mixtures
by: Torres-Ruiz, Mateo, et al.
Published: (2025)

Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
by: Češka, Milan, et al.
Published: (2026)

noDice: Inference for Discrete Probabilistic Programs with Nondeterminism and Conditioning
by: Gürtler, Tobias, et al.
Published: (2026)

Towards Verifying Exact Conditions for Implementations of Density Functional Approximations
by: Helal, Sameerah, et al.
Published: (2024)

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

Confluence of Conditional Rewriting Modulo
by: Lucas, Salvador
Published: (2025)

Localized RETE for Incremental Graph Queries with Nested Graph Conditions
by: Barkowsky, Matthias, et al.
Published: (2024)

Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
by: Pinsker, Michael, et al.
Published: (2025)

Defeasible Conditionals using Answer Set Programming
by: Dennison, Racquel, et al.
Published: (2026)

Compositional Inductive Invariant Inference via Assume-Guarantee Reasoning
by: Dardik, Ian, et al.
Published: (2025)

Formal Verification of Probing Security via Conditional Independence
by: Kura, Satoshi, et al.
Published: (2026)

A framework for Conditional Reasoning in Answer Set Programming
by: Alviano, Mario, et al.
Published: (2025)

Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
by: de Jong, Tom
Published: (2024)

Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
by: Zilberstein, Noam, et al.
Published: (2024)

Dual Forgetting Operators in the Context of Weakest Sufficient and Strongest Necessary Conditions
by: Doherty, Patrick, et al.
Published: (2023)

Shields to Guarantee Probabilistic Safety in MDPs
by: Heck, Linus, et al.
Published: (2026)

Nonlinear Craig Interpolant Generation over Unbounded Domains by Separating Semialgebraic Sets
by: Wu, Hao, et al.
Published: (2024)

An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation (full version)
by: Heyninck, Jesse
Published: (2024)

Runtime Monitoring and Enforcement of Conditional Fairness in Generative AIs
by: Cheng, Chih-Hong, et al.
Published: (2024)

Generalized Decidability via Brouwer Trees
by: de Jong, Tom, et al.
Published: (2026)

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
by: Oda, Yukihiro, et al.
Published: (2021)

Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics (Extended Version)
by: Parent, Xavier
Published: (2026)

First Steps Towards Probabilistic Iris: Harmonizing Independence, Conditioning, and Dynamic Heap Allocation
by: Lohse, Janine, et al.
Published: (2026)

A General (Uniform) Relational Semantics for Sentential Logics
by: Hartonas, Chrysafis
Published: (2025)

Composition and Merging of Assume-Guarantee Contracts Are Tensor Products
by: Incer, Inigo
Published: (2024)

Some General Completeness Results for Propositionally Quantified Modal Logics
by: Ding, Yifeng, et al.
Published: (2024)

Conditionals Based on Selection Functions, Modal Operators and Probabilities
by: Flaminio, Tommaso, et al.
Published: (2025)

Graphical Conditions for the Existence, Unicity and Number of Regular Models
by: Trinh, Van-Giang, et al.
Published: (2025)

Solving Homotopy Domain Equations
by: Martínez-Rivillas, Daniel O., et al.
Published: (2021)

Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guarantees
by: Hadad, Itamar, et al.
Published: (2026)

Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design
by: Incer, Inigo, et al.
Published: (2023)

Domains and Classifying Topoi
by: Sterling, Jonathan, et al.
Published: (2025)