:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Sun, Xin, Su, Xingchi, Bian, Xiaoning, Wu, Huiwen
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science 03B70 Logic in computer science F.3
Online Access:	https://arxiv.org/abs/2405.01940
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

A foundational characterization of Hoare Logic
by: Leivant, Daniel
Published: (2026)

Hereditary First-Order Logic: the tractable quantifier prefix classes
by: Bodirsky, Manuel, et al.
Published: (2024)

Algebraic Proof Theory for Infinitary Action Logic
by: Fussner, Wesley, et al.
Published: (2025)

First-Order Modal Logic via Logical Categories
by: Ghilardi, Silvio, et al.
Published: (2025)

Matching logic -- a new axiomatization
by: Leuştean, Laurenţiu, et al.
Published: (2025)

Notes on applicative matching logic
by: Leuştean, Laurenţiu
Published: (2025)

Normal forms in cubical type theory
by: Huang, Xu
Published: (2026)

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

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
by: Lyon, Tim S.
Published: (2025)

Examples and counterexamples of injective types
by: de Jong, Tom, et al.
Published: (2026)

Evaluation trees for proposition algebra
by: Bergstra, Jan A., et al.
Published: (2015)

Interleaving Logic and Counting
by: van Benthem, Johan, et al.
Published: (2025)

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

Logics of polyhedral reachability
by: Bezhanishvili, Nick, et al.
Published: (2024)

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

Complete Game Logic with Sabotage
by: Wafa, Noah Abou El, et al.
Published: (2024)

Discrete dualities for some algebras from rough sets
by: Düntsch, Ivo, et al.
Published: (2026)

On the Computational Power of Extensional ESO
by: Bodirsky, Manuel, et al.
Published: (2025)

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

Approximate Axiomatization for Differentially-Defined Functions
by: Platzer, André, et al.
Published: (2025)

Inclusion with repetitions and Boolean constants -- implication problems revisited
by: Häggblom, Matilda
Published: (2025)

Axiomatization of approximate exclusion
by: Häggblom, Matilda
Published: (2024)

Axiomatizing approximate inclusion
by: Häggblom, Matilda
Published: (2025)

The Sup Connective in IMALL: A Categorical Semantics
by: Díaz-Caro, Alejandro, et al.
Published: (2022)

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

On the Complexity and Properties of Preferential Propositional Dependence Logic
by: Sauerwald, Kai, et al.
Published: (2025)

Representation Theorems for Cumulative Propositional Dependence Logics
by: Kontinen, Juha, et al.
Published: (2026)

On the Complexity of Entailment for Cumulative Propositional Dependence Logics
by: Sauerwald, Kai, et al.
Published: (2026)

The Golden Path to Guarded Monotone Strict NP
by: Barsukov, Alexey, et al.
Published: (2023)

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

Tableau Proof Systems for Justification Logics
by: Ghari, Meghdad
Published: (2014)

Collapsing Constructive and Intuitionistic Modal Logics
by: Pacheco, Leonardo
Published: (2024)

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

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

DHoTT: A Temporal Extension of Homotopy Type Theory for Semantic Drift
by: Poernomo, Iman
Published: (2025)

ASP Chef grows Mustache to look better
by: Alviano, Mario, et al.
Published: (2025)

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
by: Ghari, Meghdad
Published: (2014)

Coalgebraic Satisfiability Checking for Arithmetic $μ$-Calculi
by: Hausmann, Daniel, et al.
Published: (2022)