:: Library Catalog

$Cover Image$

Saved in:

Bibliographic Details
Main Author:	Wen, Lian
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science
Online Access:	https://arxiv.org/abs/2601.04634
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Meta-Mathematics of Computational Complexity Theory
by: Oliveira, Igor C.
Published: (2025)

Big Steps in Higher-Order Mathematical Operational Semantics
by: Goncharov, Sergey, et al.
Published: (2025)

Semantics for Linear-time Temporal Logic with Finite Observations
by: Amjad, Rayhana, et al.
Published: (2024)

Choiceless Computation and Symmetry: Limitations of Definability
by: Pago, Benedikt
Published: (2024)

Exploring Formal Math on the Blockchain: An Explorer for Proofgold
by: Brown, Chad E., et al.
Published: (2025)

Maths with Coq in L1, a pedagogical experiment
by: Kerjean, Marie, et al.
Published: (2025)

The Pebble-Relation Comonad in Finite Model Theory
by: Montacute, Yoàv, et al.
Published: (2021)

Limits with Signed Digit Streams
by: Wiesnet, Franziskus
Published: (2018)

Evidence-Tracked Tape Semantics for Probabilistic Computation
by: Cohen, Liron, et al.
Published: (2026)

Logical Predicates in Higher-Order Mathematical Operational Semantics
by: Goncharov, Sergey, et al.
Published: (2024)

Embedded Finite Models Beyond Restricted Quantifier Collapse
by: Benedikt, Michael, et al.
Published: (2023)

Intentic Semantics for Potentialist Truthmaking
by: Gorbow, Paul
Published: (2026)

Semantic Foundations of Reductive Reasoning
by: Gheorghiu, Alexander V., et al.
Published: (2024)

Base-extension Semantics for Modal Logic
by: Eckhardt, Timo, et al.
Published: (2024)

A Semantic Proof of Generalised Cut Elimination for Deep Inference
by: Atkey, Robert, et al.
Published: (2024)

Construction-Verification: A Benchmark for Applied Mathematics in Lean 4
by: Yang, Bowen, et al.
Published: (2026)

Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics
by: Kojima, Ryota, et al.
Published: (2025)

Proof-theoretic Semantics for Second-order Logic
by: Gheorghiu, Alexander V., et al.
Published: (2025)

A Coalgebraic Semantics for Intuitionistic Modal Logic
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)

Proof-theoretic Semantics for the Logic of Bunched Implications
by: Gu, Tao, et al.
Published: (2023)

Proof-theoretic Semantics for First-order Logic
by: Gheorghiu, Alexander V.
Published: (2024)

Base-extension Semantics for Intuitionistic Modal Logics
by: Buzoku, Yll, et al.
Published: (2025)

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

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
by: Gheorghiu, Alexander V., et al.
Published: (2025)

Semantical Analysis of Intuitionistic Modal Logics between CK and IK
by: de Groot, Jim, et al.
Published: (2024)

Bridging Computational Notions of Depth
by: Bienvenu, Laurent, et al.
Published: (2024)

Mathematical Informatics: Algorithms
by: Seiller, Thomas
Published: (2026)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
by: Pacheco, Leonardo
Published: (2026)

Universal Algebra in UniMath
by: Amato, Gianluca, et al.
Published: (2020)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
by: Gheorghiu, Alexander V., et al.
Published: (2023)

Dynamic Probability Logic: Decidability & Computability
by: Chopoghloo, Somayeh, et al.
Published: (2024)

Fixed Point Theorems in Computability Theory
by: Terwijn, Sebastiaan A.
Published: (2024)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
by: Gheorghiu, Alexander V., et al.
Published: (2022)

Computing with Infinite Objects: the Gray Code Case
by: Spreen, Dieter, et al.
Published: (2021)

Towards a Higher-Order Mathematical Operational Semantics
by: Goncharov, Sergey, et al.
Published: (2022)

Categorical Proof-Theoretic Semantics
by: Pym, David, et al.
Published: (2023)

Topological Semantics for Common Inductive Knowledge
by: Namachivayam, Siddharth
Published: (2026)

Structuring Definitions in Mathematical Libraries
by: Gusakov, Alena, et al.
Published: (2025)

Finite Axiomatizability by Disjunctive Existential Rules
by: Calautti, Marco, et al.
Published: (2025)

Complete Symmetry Breaking for Finite Models
by: Dančo, Marek, et al.
Published: (2025)