Cover Image

A foundational characterization of Hoare Logic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Leivant, Daniel
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science Logic 03F07, 03F35, 03B30 D.2.4; F.3.1; F.3.2; F.1.1; I.2.4
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
by: Barroso-Nascimento, Victor, et al.
Published: (2025)

Internal Effectful Forcing in System T
by: Escardo, Martin H., et al.
Published: (2025)

Extracting total Amb programs from proofs
by: Berger, Ulrich, et al.
Published: (2023)

Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction
by: Sochański, Michał, et al.
Published: (2025)

Unravelling Abstract Cyclic Proofs into Proofs by Induction
by: Grotenhuis, Lide, et al.
Published: (2026)

Node Replication: Theory And Practice
by: Kesner, Delia, et al.
Published: (2022)

Serial Properties, Selector Proofs, and the Provability of Consistency
by: Artemov, Sergei
Published: (2024)

Non-Compact Proofs
by: Artemov, Sergei
Published: (2025)

Consistency formula is strictly stronger in PA than PA-consistency
by: Artemov, Sergei
Published: (2025)

Agent Interpolation for Knowledge
by: Bílková, Marta, et al.
Published: (2025)

Mechanised uniform interpolation for modal logics K, GL, and iSL
by: Férée, Hugo, et al.
Published: (2024)

Automatic Function Annotations for Hoare Logic
by: Matichuk, Danielle
Published: (2012)

First-Order Coalition Logic
by: Catta, Davide, et al.
Published: (2025)

ProofCloud: A Proof Retrieval Engine for Verified Proofs in Higher Order Logic
by: Wang, Shuai
Published: (2024)

Determination of the fifth Busy Beaver value
by: The bbchallenge Collaboration, et al.
Published: (2025)

On the computational properties of ambivalent sets and functions
by: Normann, Dag, et al.
Published: (2026)

Evaluating Autoformalization Robustness via Semantically Similar Paraphrasing
by: Moore, Hayden, et al.
Published: (2025)

Towards Weak Stratification for Logics of Definitions
by: Guermond, Nathan
Published: (2026)

Oruga: An Avatar of Representational Systems Theory
by: Raggi, Daniel, et al.
Published: (2025)

A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums
by: Ramos, Arthur, et al.
Published: (2025)

The logic of bunched implications is undecidable
by: Galatos, Nick, et al.
Published: (2026)

The Orientation Boundary for Step-Duplicating Recursors: Mechanized Impossibility, Escape, and Certification
by: Rahnama, Moses
Published: (2025)

Which are the True Defeasible Logics?
by: Maher, Michael J.
Published: (2024)

Loops, Inverse Limits and Non-Determinism
by: Brattka, Vasco
Published: (2025)

Uniform Substitution for Differential Refinement Logic
by: Prebet, Enguerrand, et al.
Published: (2024)

Varieties of Distributed Knowledge
by: Galimullin, Rustam, et al.
Published: (2025)

Fully Evaluated Left-Sequential Logics
by: Ponse, Alban, et al.
Published: (2024)

A Coherence Construction for the Propositional Universe
by: Huang, Xu
Published: (2024)

Continuous and algebraic domains in univalent foundations
by: de Jong, Tom, et al.
Published: (2024)

Thoughts on sub-Turing interactive computability
by: Japaridze, Giorgi
Published: (2024)

Weihrauch problems as containers
by: Pradic, Cécilia, et al.
Published: (2025)

Universal Gluing and Contextual Choice: Categorical Logic and the Foundations of Analytic Approximation
by: Santacana, Andreu Ballus
Published: (2025)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
by: Borzechowski, Manfred, et al.
Published: (2025)

Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers
by: Zhang, Manqing, et al.
Published: (2026)

Meaning as Use, Application, Employment, Purpose, Usefulness
by: de Queiroz, Ruy J. G. B.
Published: (2025)

From the Notebooks to the Investigations and Beyond
by: de Queiroz, Ruy J. G. B.
Published: (2025)

Encoding argumentation frameworks with set attackers to propositional logic systems
by: Tang, Shuai, et al.
Published: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
by: Tang, Shuai
Published: (2025)

A propositional cirquent calculus for computability logic
by: Japaridze, Giorgi
Published: (2024)

Do not throw out the baby: Clarithmetics as alternatives to weak arithmetics
by: Japaridze, Giorgi
Published: (2026)