Copertina

Complete Game Logic with Sabotage

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Wafa, Noah Abou El, Platzer, André
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science Computer Science and Game Theory Logic 03B70 (Primary) 03B45, 68Q60, 91A44, 91A05, 91A25 (Secondary) F.3.1; F.4.1; F.3.3
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

Relational Connectors and Heterogeneous Bisimulations
di: Nora, Pedro, et al.
Pubblicazione: (2024)

Thoughts on sub-Turing interactive computability
di: Japaridze, Giorgi
Pubblicazione: (2024)

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

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

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

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

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

A declarative approach to specifying distributed algorithms using three-valued modal logic
di: Gabbay, Murdoch J., et al.
Pubblicazione: (2025)

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

A vector logic for extensional formal semantics
di: Quigley, Daniel
Pubblicazione: (2024)

Node Replication: Theory And Practice
di: Kesner, Delia, et al.
Pubblicazione: (2022)

A vector logic for intensional formal semantics
di: Quigley, Daniel
Pubblicazione: (2026)

Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width
di: Lopez, Aliaume
Pubblicazione: (2024)

First-Order Fischer Servi Logic
di: Christensen, Ahmee
Pubblicazione: (2024)

Continuations and Completeness in Proof-theoretic Semantics
di: Gu, Tao, et al.
Pubblicazione: (2026)

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

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

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

Betting on what is neither verifiable nor falsifiable
di: Sudhir, Abhimanyu Pallavi, et al.
Pubblicazione: (2024)

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

Formally Verifying a Transformation from MLTL Formulas to Regular Expressions
di: Wang, Zili, et al.
Pubblicazione: (2025)

Formalizing MLTL Formula Progression in Isabelle/HOL
di: Kosaian, Katherine, et al.
Pubblicazione: (2024)

First-Order Coalition Logic
di: Catta, Davide, et al.
Pubblicazione: (2025)

A propositional cirquent calculus for computability logic
di: Japaridze, Giorgi
Pubblicazione: (2024)

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

Universal Algebra in UniMath
di: Amato, Gianluca, et al.
Pubblicazione: (2021)

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

Normal forms in cubical type theory
di: Huang, Xu
Pubblicazione: (2026)

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

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

On the Relative Completeness of Satisfaction-based Quantum Hoare Logic
di: Sun, Xin, et al.
Pubblicazione: (2024)

Knowability as continuity: a topological account of informational dependence
di: Baltag, Alexandru, et al.
Pubblicazione: (2024)

Reopening of the conjecture about the decidability of Quasi-Dense Modal Logics (Comments on Lyon & Ostropolski-Nalewaja's result)
di: Gasquet, Olivier
Pubblicazione: (2025)