Imagen de Portada

Model-checking positive equality free logic on a fixed structure (direttissima)

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Bodirsky, Manuel, Kozik, Marcin, Madelaine, Florent, Martin, Barnaby, Wrona, Michal
Formato:	Preprint
Publicado:	2024
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

The complete classification for quantified equality constraints
por: Zhuk, Dmitriy, et al.
Publicado: (2021)

Quasi Directed Jonsson Operations Imply Bounded Width (For fo-expansions of symmetric binary cores with free amalgamation)
por: Wrona, Michal
Publicado: (2024)

Universal Horn Sentences and the Joint Embedding Property
por: Bodirsky, Manuel, et al.
Publicado: (2021)

Network Satisfaction Problems Solved by k-Consistency
por: Bodirsky, Manuel, et al.
Publicado: (2023)

On guarded extensions of MMSNP
por: Barsukov, Alexey, et al.
Publicado: (2023)

The sorrows of a smooth digraph: the first hardness criterion for infinite directed graph-colouring problems
por: Brunar, Johanna, et al.
Publicado: (2025)

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

Complexity Classification Transfer for CSPs via Algebraic Products
por: Bodirsky, Manuel, et al.
Publicado: (2022)

Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking
por: Cimatti, Alessandro, et al.
Publicado: (2024)

Identifying Tractable Quantified Temporal Constraints within Ord-Horn
por: Rydval, Jakub, et al.
Publicado: (2024)

Symmetric Linear Arc Monadic Datalog and Gadget Reductions
por: Bodirsky, Manuel, et al.
Publicado: (2024)

Model checking with temporal graphs and their derivative
por: Bui-Xuan, Binh-Minh, et al.
Publicado: (2026)

Tabular intermediate logics comparison
por: Rzążewski, Paweł, et al.
Publicado: (2025)

Restricted CSPs and F-free Digraph Algorithmics
por: Guzmán-Pro, Santiago, et al.
Publicado: (2025)

Collapsing the bounded width hierarchy for infinite-domain CSPs: when symmetries are enough
por: Mottet, Antoine, et al.
Publicado: (2021)

Unifying the Three Algebraic Approaches to the CSP via Minimal Taylor Algebras
por: Barto, Libor, et al.
Publicado: (2021)

FO logic on cellular automata orbits equals MSO logic
por: Theyssier, Guillaume
Publicado: (2024)

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

Datalog-Expressibility for Monadic and Guarded Second-Order Logic
por: Bodirsky, Manuel, et al.
Publicado: (2020)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
por: Herbelin, Hugo
Publicado: (2024)

Automating proof search when equality is a logical connective
por: Chaudhuri, Kaustuv, et al.
Publicado: (2026)

A uniform cut-elimination theorem for linear logics with fixed points and super exponentials
por: Bauer, Esaïe, et al.
Publicado: (2025)

On the expressive power of inquisitive team logic and inquisitive first-order logic
por: Kontinen, Juha, et al.
Publicado: (2026)

Quantum modal logic
por: Tokuo, Kenji
Publicado: (2025)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
por: Grilletti, Gianluca, et al.
Publicado: (2024)

On the logical structure of choice and bar induction principles
por: Brede, Nuria, et al.
Publicado: (2021)

Intuitionistic modal logics: a minimal setting
por: Balbiani, Philippe, et al.
Publicado: (2025)

Tableau methodology for propositional logics
por: Jarmuzek, T., et al.
Publicado: (2025)

First-order Logic with Being a Thesis Modal Operator
por: Łyczak, Marcin
Publicado: (2024)

Elementary first-order model checking for sparse graphs
por: Gajarský, Jakub, et al.
Publicado: (2024)

Extended multi-adjoint logic programming
por: Cornejo, M. Eugenia, et al.
Publicado: (2024)

A logic for default deontic reasoning
por: Piazza, Mario, et al.
Publicado: (2025)

Modal definability in Euclidean modal logics
por: Balbiani, Philippe, et al.
Publicado: (2025)

Filling in the semantics for intuitionistic conditional logic
por: Dufty, Brendan, et al.
Publicado: (2025)

Further remarks on the dual negation in team logics
por: Anttila, Aleksi
Publicado: (2024)

Intuitionistic monotone modal logic via translation
por: de Groot, Jim
Publicado: (2025)

Syntax and semantics of multi-adjoint normal logic programming
por: Cornejo, M. Eugenia, et al.
Publicado: (2024)

On semantics of first-order justification logic with binding modalities
por: Yavorskaya, Tatiana, et al.
Publicado: (2025)

Intrinsic and relative characterization results for logics with negative modalities
por: de Groot, Jim, et al.
Publicado: (2025)

Structures preserved by primitive actions of $S_ω$
por: Bodirsky, Manuel, et al.
Publicado: (2025)