Image de couverture de livre

Note on a Translation from First-Order Logic into the Calculus of Relations Preserving Validity and Finite Validity

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Nakamura, Yoshiki
Format:	Preprint
Publié:	2023
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

On the Finite Variable-Occurrence Fragment of the Calculus of Relations with Bounded Dot-Dagger Alternation
par: Nakamura, Yoshiki
Publié: (2023)

Derivatives on Graphs for the Positive Calculus of Relations with Transitive Closure
par: Nakamura, Yoshiki
Publié: (2024)

Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations
par: Nakamura, Yoshiki
Publié: (2023)

The Equational Theory of Relational Kleene Algebra with Graph Loop is PSPACE-Complete
par: Nakamura, Yoshiki
Publié: (2025)

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

A Complete Propositional Dynamic Logic for Regular Expressions with Lookahead
par: Nakamura, Yoshiki
Publié: (2026)

Guarded Negation Transitive Closure Logic
par: Figueira, Diego, et autres
Publié: (2025)

Undecidability of the Emptiness Problem of Deterministic Propositional While Programs with Graph Loop: Hypothesis Elimination Using Loops
par: Nakamura, Yoshiki
Publié: (2025)

Kuroda's Translation for Higher-Order Logic
par: Traversié, Thomas
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)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
par: Gheorghiu, Alexander V., et autres
Publié: (2022)

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

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

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2025)

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

Bounded Inquisitive Logics: Sequent Calculi and Schematic Validity
par: Litak, Tadeusz, et autres
Publié: (2025)

Nested-sequent Calculus for Modal Logic MB
par: Kawano, Tomoaki
Publié: (2024)

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

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

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

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

Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements
par: Nakamura, Yoshiki, et autres
Publié: (2024)

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

The Satisfiability and Validity Problems for Probabilistic Computational Tree Logic are Highly Undecidable
par: Chodil, Miroslav, et autres
Publié: (2025)

Equational Theories and Validity for Logically Constrained Term Rewriting (Full Version)
par: Aoto, Takahito, et autres
Publié: (2024)

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

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

A Two-Watched Literal Scheme for First-Order Logic
par: Briefs, Yasmine, et autres
Publié: (2026)

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

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

Translating Three-Variable First-Order Predicate Logic to Relation Algebra, Implemented using Z3
par: Brogni, Anthony, et autres
Publié: (2023)

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)

A Non-Wellfounded and Labelled Sequent Calculus for Bimodal Provability Logic
par: Becker, Justus
Publié: (2025)

Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming
par: Vašíček, Ondřej, et autres
Publié: (2024)

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

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

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