Uniform guarded fragments

DOI10.1007/978-3-030-99253-8_21arXiv2110.03821OpenAlexW3205374186MaRDI QIDQ6181940

Unnamed Author

Publication date: 23 January 2024

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2110.03821

zbMATH Keywords

interpolationsatisfiability problemguarded fragment

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The many faces of interpolation
• Modal languages and bounded fragments of predicate logic
• Interpolation and definability in guarded fragments
• Complexity and Expressivity of Uniform One-Dimensional Fragment with Equality
• On the Decision Problem for Two-Variable First-Order Logic
• One-dimensional fragment of first-order logic
• SOME MODEL THEORY OF GUARDED NEGATION
• On the Restraining Power of Guards
• One-Dimensional Logic over Trees
• One-Dimensional Logic over Words
• Uniform One-Dimensional Fragments with One Equivalence Relation
• Binding Forms in First-Order Logic
• Ordered Fragments of First-Order Logic

This page was built for publication: Uniform guarded fragments