Cover Image

Semi-Competitive Differential Game Logic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Butte, Julia, Platzer, André
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science 03B70, 34A38, 91A25, 91A05 D.2.4; F.3.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Axiomatization of Compact Initial Value Problems: Open Properties
by: Platzer, André, et al.
Published: (2024)

Ordinal Folding Index: A Computable Metric for Self-Referential Semantics
by: Alpay, Faruk, et al.
Published: (2025)

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

Unattainability of Common Knowledge in Asymmetric Games with Imperfect Information
by: Farestam, Fabian, et al.
Published: (2025)

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

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

Relational Connectors and Heterogeneous Bisimulations
by: Nora, Pedro, et al.
Published: (2024)

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

Games with infinite past
by: Ashkenazi-Golan, Galit, et al.
Published: (2025)

On the logic of interventionist counterfactuals under indeterministic causal laws
by: Barbero, Fausto
Published: (2023)

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

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

Games as recursive coalgebras: A categorical view on the Nim-sum
by: Hora, Ryuya
Published: (2025)

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

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

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

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

Extended Scenario Bundle Analysis: A Formal Framework for Strategic Scenario Modeling
by: Pitz, Thomas, et al.
Published: (2026)

Online Ramsey turnaround numbers
by: Almási, Nóra, et al.
Published: (2025)

Fractal Sumudu Transform and Economic Models
by: Nath, Krishna Mani, et al.
Published: (2026)

When Bi-interpretability implies Synonymy
by: Friedman, Harvey M., et al.
Published: (2025)

The Value of Recall in Extensive-Form Games
by: Berker, Ratip Emin, et al.
Published: (2024)

Refactoring-as-Propositions: Proved Refactoring of Hybrid Systems via Proved Refinements
by: Prebet, Enguerrand, et al.
Published: (2026)

The Coase Theorem and Ideal Exchanges
by: Lü, Daniel
Published: (2025)

Universality of Infinite Chess
by: Bolan, Matthew, et al.
Published: (2026)

A Differential Game with Symmetric Incomplete Information on Probabilistic Initial Condition and with Signal Revelation
by: Wu, Xiaochi
Published: (2025)

Information Design and Full Implementation in Nonatomic Games
by: Koessler, Frederic, et al.
Published: (2025)

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

Imperfect-Recall Games: Equilibrium Concepts and Their Complexity
by: Tewolde, Emanuel, et al.
Published: (2024)

Linear Orders in Presburger Arithmetic
by: Pakhomov, Fedor, et al.
Published: (2022)

Immutability Does Not Guarantee Trust: A Formal and Logical Refutation
by: Wright, Craig S
Published: (2025)

The Weihrauch degree of finding Nash equilibria in multiplayer games
by: Crook, Tonicha, et al.
Published: (2021)

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

Periodicity in Hedge-myopic system and an asymmetric NE-solving paradigm for two-player zero-sum games
by: Guo, Xinxiang, et al.
Published: (2024)

On a Theorem by Bezboruah & Shepherdson
by: Visser, Albert
Published: (2026)

Transordinal Fixed-Point Operators and Self-Referential Games: A Categorical Framework for Reflective Semantic Convergence
by: Alpay, Faruk, et al.
Published: (2025)

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

Long-Time Behavior of Zero-Sum Linear-Quadratic Stochastic Differential Games
by: Sun, Jingrui, et al.
Published: (2024)