:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Weinstein, Vadim K.
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2501.04125
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Hanf Locality and Invariant Elementary Definability
by: Lindell, Steven, et al.
Published: (2025)

Piecewise convex embeddability on linear orders
by: Iannella, Martina, et al.
Published: (2023)

The Complexity of the Set of Validities of a Theory
by: Hirschfeldt, Denis R., et al.
Published: (2025)

Convex Embeddability and Knot Theory
by: Iannella, Martina, et al.
Published: (2023)

Borel Reductions and Cub Games in Generalized Descriptive Set Theory
by: Kulikov, Vadim
Published: (2012)

Modelling of logical systems by means of their fragments
by: Rybakov, Mikhail
Published: (2025)

Incompleteness for stably computable formal systems
by: Savelyev, Yasha
Published: (2022)

A Model Checker for Natural Strategic Ability
by: Aruta, Marco, et al.
Published: (2024)

VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems
by: Ferrando, Angelo, et al.
Published: (2024)

Wider systems for linear logic with fixed points: proof theory and complexity
by: Das, Anupam, et al.
Published: (2026)

Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss
by: Kozhemiachenko, Daniil
Published: (2024)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
by: Oda, Yukihiro
Published: (2025)

A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates
by: Oda, Yukihiro, et al.
Published: (2022)

A Timed Obstruction Logic for Dynamic Game Models
by: Cortes, David, et al.
Published: (2025)

When Natural Strategies Meet Fuzziness and Resource-Bounded Actions (Extended Version)
by: Aruta, Marco, et al.
Published: (2025)

KindHML: formal verification of smart contracts based on Hennessy-Milner logic
by: Bartoletti, Massimo, et al.
Published: (2026)

Probabilistic Obstruction Temporal Logic: a Probabilistic Logic to Reason about Dynamic Models
by: Leneutre, Jean, et al.
Published: (2024)

Runtime Verification via Rational Monitor with Imperfect Information
by: Ferrando, Angelo, et al.
Published: (2024)

CSLibPremiseBench: Structure-Guided Premise Retrieval and Label Robustness for Lean 4 Computer-Science Theorems
by: Ji, Junye
Published: (2026)

A note on Grigoriev and Zaitsev's system CNL$^2_4$
by: Omori, Hitoshi, et al.
Published: (2024)

Cyclic system for an algebraic theory of alternating parity automata
by: Das, Anupam, et al.
Published: (2025)

The algebraic semantics for the one-variable monadic fragment of the predicate logic $\mathcal{G}\forall_{\sim}$
by: Castaño, Diego, et al.
Published: (2024)

Generalized Epstein semantics for Parry systems
by: Zamperlin, Nicolò
Published: (2024)

Model theory of Steiner triple systems
by: Barbina, Silvia, et al.
Published: (2018)

Decomposition of Płonka sums into direct systems
by: Mruczek-Nasieniewska, Krystyna, et al.
Published: (2024)

Measuring robustness of dynamical systems. Relating time and space to length and precision
by: Blanc, Manon, et al.
Published: (2023)

A tree rewriting system for the Reflection Calculus
by: Santiago-Fernández, Sofía, et al.
Published: (2024)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
by: Rooduijn, Jan, et al.
Published: (2024)

Natural Deduction systems for some weak Subintuitionistic Logics
by: Maleki, Fatemeh Shirmohammadzadeh
Published: (2024)

A formal system for reasoning about assertibility, truth, and meaningfulness
by: Weaver, Nik
Published: (2025)

Cut elimination for a non-wellfounded system for the master modality
by: Miranda, Borja Sierra, et al.
Published: (2025)

Theories of Frege structure equivalent to Feferman's system $\mathsf{T}_0$
by: Hayashi, Daichi
Published: (2024)

Finite Hilbert systems for Weak Kleene logics
by: Greati, Vitor, et al.
Published: (2024)

Computer Science as Infrastructure: the Spine of the Lean Computer Science Library (CSLib)
by: Henson, Christopher, et al.
Published: (2026)

Generating proof systems for three-valued propositional logics
by: Greati, Vitor, et al.
Published: (2024)

A discrete-time temporal deontic STIT logic based on interpreted systems
by: Rong, Shuge, et al.
Published: (2025)

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy
by: De Mol, Liesbeth, et al.
Published: (2025)

Logic and Abduction: Cognitive Externalizations in Demonstrative Environments
by: Lorenzo MAGNANI
Published: (2007)

On non-isomorphic universal sofic groups
by: Alekseev, Vadim, et al.
Published: (2024)

An optimized KE-tableau-based system for reasoning in the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
by: Cantone, Domenico, et al.
Published: (2018)