:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Catta, Davide, d'Aragona, Antonio Piccolomini
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2502.17511
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Calculi of epistemic grounding based on Prawitz's theory of grounds
by: d'Aragona, Antonio Piccolomini
Published: (2025)

Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds
by: d'Aragona, Antonio Piccolomini
Published: (2025)

A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
by: d'Aragona, Antonio Piccolomini
Published: (2025)

Uniform validity of atomic Split rule in monotonic proof-theoretic semantics
by: d'Aragona, Antonio Piccolomini
Published: (2025)

A note on schematic validity and completeness in Prawitz's semantics
by: d'Aragona, Antonio Piccolomini
Published: (2025)

Sundholm's explanation of meaning: logical atavism and the nature of proofs
by: d'Aragona, Antonio Piccolomini
Published: (2025)

Some results in non-monotonic proof-theoretic semantics
by: d'Aragona, Antonio Piccolomini
Published: (2025)

On Angels and Demons: Strategic (De)Construction of Dynamic Models
by: Catta, Davide, et al.
Published: (2026)

IMITATOR4AMAS: Strategy Synthesis for STCTL
by: Catta, Davide, et al.
Published: (2026)

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

Denotational semantics driven simplicial homology?
by: Barbarossa, Davide
Published: (2024)

Game-theoretic variants of cardinal invariants
by: Chapital, Jorge Antonio Cruz, et al.
Published: (2023)

Game-theoretic variants of splitting number
by: Chapital, Jorge Antonio Cruz, et al.
Published: (2024)

Axiomatic Theory of Independence Relations in Model Theory
by: d'Elbée, Christian
Published: (2023)

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

Measures and stability in a model, revisited
by: d'Elbée, Christian, et al.
Published: (2026)

Borel Families of Games
by: Kastner, Alexander, et al.
Published: (2024)

Logical GANs: Adversarial Learning through Ehrenfeucht Fraisse Games
by: Mannucci, Mirco A.
Published: (2025)

On Effective Banach-Mazur Games and an application to the Poincaré Recurrence Theorem for Category
by: Koul, Prajval, et al.
Published: (2025)

Considerations on Everett J. Nelson's connexive logic
by: Fazio, Davide, et al.
Published: (2025)

Binary Choice Games and Arithmetical Comprehension
by: Aguilera, Juan Pablo, et al.
Published: (2025)

Model Comparison Games for Generalized Quantifiers
by: Kuusisto, Antti, et al.
Published: (2026)

Cardinals of the $P_κ(λ)$-Filter Games
by: Benhamou, Tom, et al.
Published: (2025)

Efficiently grounding FOL using bit vectors
by: Van Laer, Lucas, et al.
Published: (2024)

Games with backtracking options corresponding to the ordinal analysis of $PA$
by: Ken, Eitetsu
Published: (2024)

Game semantics for lattice-based modal μ-calculus
by: Ding, Yiwen, et al.
Published: (2023)

Model-theoretic properties of nilpotent groups and Lie algebras
by: d'Elbée, Christian, et al.
Published: (2023)

A two-sorted theory of nilpotent Lie algebras
by: d'Elbée, Christian, et al.
Published: (2024)

Resource approximation for the $λμ$-calculus
by: Barbarossa, Davide
Published: (2024)

Stability Property for the Call-by-Value $λ$-calculus through Taylor Expansion
by: Barbarossa, Davide
Published: (2024)

An Abstract Account of Up-to Techniques for Inductive Behavioural Relations
by: Sangiorgi, Davide
Published: (2024)

The Algebra of Parity Games
by: Piedeleu, Robin
Published: (2025)

A New Ehrenfeucht-Fraïssé Game for Dependence Logic
by: Puljujärvi, Joni, et al.
Published: (2026)

Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games
by: Phalakarn, Kittiphon, et al.
Published: (2025)

On Conway's Numbers and Games, the Von Neumann Universe, and Pure Set Theory
by: Bertram, Wolfgang
Published: (2025)

Left-Linear Rewriting in Adhesive Categories
by: Baldan, Paolo, et al.
Published: (2024)

The Qualitative Collapse of Concurrent Games
by: Clairambault, Pierre
Published: (2024)

Stuttering Equivalence for Parity Games
by: Cranen, Sjoerd, et al.
Published: (2011)

Witnesses for Fixpoint Games on Lattices
by: König, Barbara, et al.
Published: (2026)

Model theory of term algebras revisited
by: Carolillo, Davide, et al.
Published: (2026)