Cover Image

Axiomatization of Compact Initial Value Problems: Open Properties

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Platzer, André, Qian, Long
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science Programming Languages Logic 03B70, 03D80, 03F03, 34C14, 34A38, 34C11, 65L70, 65G20 F.4.1; F.3.1; G.1.7; I.2.3
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Complete First-Order Game Logic
by: Wafa, Noah Abou El, et al.
Published: (2025)

Univalent Material Set Theory
by: Gylterud, Håkon Robbestad, et al.
Published: (2023)

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

Two strong undefinability results in inquisitive and team semantics
by: Barbero, Fausto
Published: (2024)

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

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

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

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

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

A vector logic for extensional formal semantics
by: Quigley, Daniel
Published: (2024)

Random expansions of finite structures with bounded degree
by: Koponen, Vera
Published: (2024)

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

Semi-Competitive Differential Game Logic
by: Butte, Julia, et al.
Published: (2025)

On the expressive power of inquisitive epistemic logic
by: Ciardelli, Ivano, et al.
Published: (2023)

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

The proof-theoretic strength of Constructive Second-order set theories
by: Jeon, Hanul
Published: (2023)

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

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

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

Complete Robust Hybrid Systems Reachability
by: Wafa, Noah Abou El, et al.
Published: (2026)

The Axiom of Double Complement and its opposites
by: Jeon, Hanul, et al.
Published: (2026)

Computability of Initial Value Problems
by: Brattka, Vasco, et al.
Published: (2024)

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)

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

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

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

2-Coherent Internal Models of Homotopical Type Theory
by: Chen, Joshua
Published: (2025)

Structural focalization
by: Simmons, Robert J.
Published: (2011)

A Tame Generic Structure with Non-Algebraic Geometric Closure
by: Jalili, Somaye, et al.
Published: (2020)

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

Fixed-Point Theorems and the Ethics of Radical Transparency: A Logic-First Treatment
by: Alpay, Faruk, et al.
Published: (2025)

Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic
by: Walsh, Sean
Published: (2024)

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

A general approach to asymptotic elimination of aggregation functions and generalized quantifiers
by: Koponen, Vera, et al.
Published: (2023)

Nominal techniques as an Agda library
by: Gabbay, Murdoch J., et al.
Published: (2026)

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

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

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