Image de couverture de livre

A Two-Watched Literal Scheme for First-Order Logic

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Briefs, Yasmine, Bromberger, Martin, Gehl, Tobias, Leutgeb, Lorenz, Schwarz, Simon, Weidenbach, Christoph
Format:	Preprint
Publié:	2026
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

SCL(FOL) Revisited
par: Bromberger, Martin, et autres
Publié: (2023)

On Knowledge Compilation For Two-Variable First-Order Logic
par: Meng, Qiaolan, et autres
Publié: (2026)

Non-Ground Congruence Closure
par: Leidinger, Hendrik, et autres
Publié: (2024)

Distributed First Order Logic
par: Ghidini, Chiara, et autres
Publié: (2015)

Interpolation in First-Order Logic
par: Cate, Balder ten, et autres
Publié: (2025)

Automated Expected Amortised Cost Analysis of Probabilistic Data Structures
par: Leutgeb, Lorenz, et autres
Publié: (2022)

Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic
par: Heuer, Jan, et autres
Publié: (2024)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
par: Artale, Alessandro, et autres
Publié: (2025)

On the Satisfiability of Local First-Order Logics with Data
par: Bollig, Benedikt, et autres
Publié: (2023)

The Finite Satisfiability Problem for Two-Variable, First-Order Logic with one Transitive Relation is Decidable
par: Pratt-Hartmann, Ian
Publié: (2017)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
par: Lyon, Tim S., et autres
Publié: (2024)

Fusions of One-Variable First-Order Modal Logics
par: Kontchakov, Roman, et autres
Publié: (2026)

Checking Satisfiability of Hyperproperties using First-Order Logic
par: Beutner, Raven, et autres
Publié: (2025)

Interpolation with Automated First-Order Reasoning
par: Wernhard, Christoph
Publié: (2025)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
par: Barloy, Corentin, et autres
Publié: (2025)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
par: Bloch, Isabelle, et autres
Publié: (2025)

Identifying and Explaining (Non-)Equivalence of First-Order Logic Formulas
par: Vehlken, Fabian, et autres
Publié: (2026)

Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic
par: Kurucz, Agi, et autres
Publié: (2023)

Diagrammatic Algebra of First Order Logic
par: Bonchi, Filippo, et autres
Publié: (2024)

A General Automata Model for First-Order Temporal Logics (Extended Version)
par: Geatti, Luca, et autres
Publié: (2024)

Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
par: Wolter, Frank, et autres
Publié: (2024)

Convergence Laws for Extensions of First-Order Logic with Averaging
par: Adam-Day, Sam, et autres
Publié: (2025)

Provenance Analysis and Semiring Semantics for First-Order Logic
par: Grädel, Erich, et autres
Publié: (2024)

Monadic Second-Order Logic of Permutations
par: Jelínek, Vít, et autres
Publié: (2025)

Proof-theoretic Semantics for First-order Logic
par: Gheorghiu, Alexander V.
Publié: (2024)

Doctrinal Semantics of Directed First-Order Logic
par: Laretto, Andrea, et autres
Publié: (2025)

Learning Aggregate Queries Defined by First-Order Logic with Counting
par: van Bergerem, Steffen, et autres
Publié: (2024)

Unravelling Cyclic First-Order Arithmetic
par: Leigh, Graham E., et autres
Publié: (2025)

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property
par: Joshi, Varad, et autres
Publié: (2025)

Boolean basis, formula size, and number of modal operators
par: Berkholz, Christoph, et autres
Publié: (2024)

Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property
par: Elad, Neta, et autres
Publié: (2026)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
par: Bacci, Giorgio, et autres
Publié: (2025)

The Parameterized Complexity of Learning Monadic Second-Order Logic
par: van Bergerem, Steffen, et autres
Publié: (2023)

First-order Logic with Being a Thesis Modal Operator
par: Łyczak, Marcin
Publié: (2024)

First-Order Modal Logic via Logical Categories
par: Ghilardi, Silvio, et autres
Publié: (2025)

First-Order Fischer Servi Logic
par: Christensen, Ahmee
Publié: (2024)

Lifted Inference beyond First-Order Logic
par: Malhotra, Sagar, et autres
Publié: (2023)

A First-Order Logic-Based Alternative to Reward Models in RLHF
par: Jian, Chunjin, et autres
Publié: (2025)

On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories
par: Haase, Christoph, et autres
Publié: (2024)

Note on a Translation from First-Order Logic into the Calculus of Relations Preserving Validity and Finite Validity
par: Nakamura, Yoshiki
Publié: (2023)