Buchumschlag

On first-order model checking parameterized by the number of variables

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Jedelský, Jan
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Transductions of Graph Classes Admitting Product Structure
von: Hliněný, Petr, et al.
Veröffentlicht: (2025)

Elementary first-order model checking for sparse graphs
von: Gajarský, Jakub, et al.
Veröffentlicht: (2024)

k-Planar and Fan-Crossing Drawings and Transductions of Embeddable Graphs
von: Hliněný, Petr, et al.
Veröffentlicht: (2025)

Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking
von: Cimatti, Alessandro, et al.
Veröffentlicht: (2024)

First-order transducibility among classes of sparse graphs
von: Gajarský, Jakub, et al.
Veröffentlicht: (2025)

On semantics of first-order justification logic with binding modalities
von: Yavorskaya, Tatiana, et al.
Veröffentlicht: (2025)

Formula size game and model checking for modal substitution calculus
von: Ahvonen, Veeti, et al.
Veröffentlicht: (2025)

On the expressive power of inquisitive team logic and inquisitive first-order logic
von: Kontinen, Juha, et al.
Veröffentlicht: (2026)

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
von: Oda, Yukihiro, et al.
Veröffentlicht: (2021)

Making first order linear logic a generating grammar
von: Slavnov, Sergey
Veröffentlicht: (2022)

On first-order transductions of classes of graphs
von: Braunfeld, Samuel, et al.
Veröffentlicht: (2022)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
von: Gaßner, Christine
Veröffentlicht: (2025)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
von: Powell, Thomas
Veröffentlicht: (2023)

Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms
von: Gaßner, Christine
Veröffentlicht: (2025)

Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs
von: Gaßner, Christine
Veröffentlicht: (2025)

On first-order definable operations on relational structures
von: Courcelle, Bruno
Veröffentlicht: (2026)

A very sharp threshold for first order logic distinguishability of random graphs
von: Benjamini, Itai, et al.
Veröffentlicht: (2022)

Synthesis for prefix first-order logic on data words
von: Grange, Julien, et al.
Veröffentlicht: (2024)

Forcing and Interpolation in first-order hybrid Logic with rigid symbols
von: Găină, Daniel, et al.
Veröffentlicht: (2026)

Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems
von: Aminof, Benjamin, et al.
Veröffentlicht: (2023)

Model-checking positive equality free logic on a fixed structure (direttissima)
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2024)

Order-invariant cluster first-order logic on graph classes of bounded degree
von: Ghasemi, Fatemeh, et al.
Veröffentlicht: (2026)

Bijective proofs for Eulerian numbers of types B and D
von: Santocanale, Luigi
Veröffentlicht: (2021)

Boolean basis, formula size, and number of modal operators
von: Berkholz, Christoph, et al.
Veröffentlicht: (2024)

Complete first-order reasoning for functional programs
von: Murali, Adithya, et al.
Veröffentlicht: (2026)

Proof-theoretic Semantics for Second-order Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)

Countability constraints in order-theoretic approaches to computability
von: Hack, Pedro, et al.
Veröffentlicht: (2022)

Proof-theoretic Semantics for First-order Logic
von: Gheorghiu, Alexander V.
Veröffentlicht: (2024)

Model checking with temporal graphs and their derivative
von: Bui-Xuan, Binh-Minh, et al.
Veröffentlicht: (2026)

The proof theory and semantics of second-order (intuitionistic) tense logic
von: Becker, Justus, et al.
Veröffentlicht: (2026)

First-order Logic with Being a Thesis Modal Operator
von: Łyczak, Marcin
Veröffentlicht: (2024)

A linear proof language for second-order intuitionistic linear logic
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2023)

Decomposing graphs into stable and ordered parts
von: Buffière, Hector, et al.
Veröffentlicht: (2025)

A shallow dive into the depths of non-termination checking for C programs
von: Metta, Ravindra, et al.
Veröffentlicht: (2024)

A first-order logic characterization of safety and co-safety languages
von: Cimatti, Alessandro, et al.
Veröffentlicht: (2022)

Constant time testability of first-order logic with modulo counting on finitary graphs
von: Adler, Isolde, et al.
Veröffentlicht: (2026)

Semantics out of context: nominal absolute denotations for first-order logic and computation
von: Gabbay, Murdoch J.
Veröffentlicht: (2013)

Higher-order Kripke models for intuitionistic and non-classical modal logics
von: Barroso-Nascimento, Victor
Veröffentlicht: (2025)

An order out of nowhere: a new algorithm for infinite-domain CSPs
von: Mottet, Antoine, et al.
Veröffentlicht: (2023)

Completeness of Relational Algebra via Cylindric Algebra
von: Laštovička, Jan
Veröffentlicht: (2026)