Buchumschlag

On the Relative Completeness of Satisfaction-based Quantum Hoare Logic

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Sun, Xin, Su, Xingchi, Bian, Xiaoning, Wu, Huiwen
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science 03B70 Logic in computer science F.3
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On the Relative Completeness of Satisfaction-based Probabilistic Hoare Logic With While Loop
von: Sun, Xin, et al.
Veröffentlicht: (2024)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
von: Borzechowski, Manfred, et al.
Veröffentlicht: (2025)

A foundational characterization of Hoare Logic
von: Leivant, Daniel
Veröffentlicht: (2026)

First-Order Modal Logic via Logical Categories
von: Ghilardi, Silvio, et al.
Veröffentlicht: (2025)

Normal forms in cubical type theory
von: Huang, Xu
Veröffentlicht: (2026)

Bennett's Conjecture in Lean 4: Counter-Models for the PSR-Reducibility of Spinoza's Propositions V and XIV
von: Nakamura, Yuki
Veröffentlicht: (2026)

Hereditary First-Order Logic: the tractable quantifier prefix classes
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2024)

Matching logic -- a new axiomatization
von: Leuştean, Laurenţiu, et al.
Veröffentlicht: (2025)

Notes on applicative matching logic
von: Leuştean, Laurenţiu
Veröffentlicht: (2025)

Algebraic Proof Theory for Infinitary Action Logic
von: Fussner, Wesley, et al.
Veröffentlicht: (2025)

Evaluation trees for proposition algebra
von: Bergstra, Jan A., et al.
Veröffentlicht: (2015)

Interleaving Logic and Counting
von: van Benthem, Johan, et al.
Veröffentlicht: (2025)

Examples and counterexamples of injective types
von: de Jong, Tom, et al.
Veröffentlicht: (2026)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
von: Lyon, Tim S.
Veröffentlicht: (2025)

Do not throw out the baby: Clarithmetics as alternatives to weak arithmetics
von: Japaridze, Giorgi
Veröffentlicht: (2026)

Logics of polyhedral reachability
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2024)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
von: Gylterud, Håkon Robbestad, et al.
Veröffentlicht: (2020)

Discrete dualities for some algebras from rough sets
von: Düntsch, Ivo, et al.
Veröffentlicht: (2026)

Tableau Proof Systems for Justification Logics
von: Ghari, Meghdad
Veröffentlicht: (2014)

Collapsing Constructive and Intuitionistic Modal Logics
von: Pacheco, Leonardo
Veröffentlicht: (2024)

A propositional cirquent calculus for computability logic
von: Japaridze, Giorgi
Veröffentlicht: (2024)

On the Computational Power of Extensional ESO
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2025)

A domain-theoretic framework for conditional probability and Bayesian updating in programming
von: Di Gianantonio, Pietro, et al.
Veröffentlicht: (2025)

A proof-theoretical approach to some extensions of first order quantification
von: Allègre, Loïc, et al.
Veröffentlicht: (2024)

Complete Game Logic with Sabotage
von: Wafa, Noah Abou El, et al.
Veröffentlicht: (2024)

Inclusion with repetitions and Boolean constants -- implication problems revisited
von: Häggblom, Matilda
Veröffentlicht: (2025)

Axiomatization of approximate exclusion
von: Häggblom, Matilda
Veröffentlicht: (2024)

Axiomatizing approximate inclusion
von: Häggblom, Matilda
Veröffentlicht: (2025)

The Sup Connective in IMALL: A Categorical Semantics
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2022)

On the Complexity and Properties of Preferential Propositional Dependence Logic
von: Sauerwald, Kai, et al.
Veröffentlicht: (2025)

Representation Theorems for Cumulative Propositional Dependence Logics
von: Kontinen, Juha, et al.
Veröffentlicht: (2026)

On the Complexity of Entailment for Cumulative Propositional Dependence Logics
von: Sauerwald, Kai, et al.
Veröffentlicht: (2026)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
von: Barroso-Nascimento, Victor, et al.
Veröffentlicht: (2025)

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
von: Ghari, Meghdad
Veröffentlicht: (2014)

Approximate Axiomatization for Differentially-Defined Functions
von: Platzer, André, et al.
Veröffentlicht: (2025)

DHoTT: A Temporal Extension of Homotopy Type Theory for Semantic Drift
von: Poernomo, Iman
Veröffentlicht: (2025)

ASP Chef grows Mustache to look better
von: Alviano, Mario, et al.
Veröffentlicht: (2025)

The Golden Path to Guarded Monotone Strict NP
von: Barsukov, Alexey, et al.
Veröffentlicht: (2023)

Weihrauch problems as containers
von: Pradic, Cécilia, et al.
Veröffentlicht: (2025)

Domains and Classifying Topoi
von: Sterling, Jonathan, et al.
Veröffentlicht: (2025)