:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Li, Yongming
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science
Online-Zugang:	https://arxiv.org/abs/2510.23075
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Dynamic Probability Logic: Decidability & Computability
von: Chopoghloo, Somayeh, et al.
Veröffentlicht: (2024)

Decidability of Quantum Modal Logic
von: Tokuo, Kenji
Veröffentlicht: (2026)

Decidability of Quasi-Dense Modal Logics
von: Ostropolski-Nalewaja, Piotr, et al.
Veröffentlicht: (2024)

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
von: Howlader, Prosenjit, et al.
Veröffentlicht: (2025)

Axiomatizing the Logic of Ordinary Discourse
von: Greati, Vitor, et al.
Veröffentlicht: (2024)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
von: Artale, Alessandro, et al.
Veröffentlicht: (2025)

An Axiomatic Theory for Reversible Computation
von: Lanese, Ivan, et al.
Veröffentlicht: (2023)

Generalized Decidability via Brouwer Trees
von: de Jong, Tom, et al.
Veröffentlicht: (2026)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
von: Barloy, Corentin, et al.
Veröffentlicht: (2025)

Skolemization and Decidability of the Bernays-Schoenfinkel Class in Goedel Logics
von: Gamsakhurdia, Mariami, et al.
Veröffentlicht: (2025)

Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions
von: Su, Wanyun, et al.
Veröffentlicht: (2024)

Deciding Predicate Logical Theories of Real-Valued Functions
von: Ratschan, Stefan
Veröffentlicht: (2023)

Decidability of Graph Neural Networks via Logical Characterizations
von: Benedikt, Michael, et al.
Veröffentlicht: (2024)

Impure Simplicial Complexes: Complete Axiomatization
von: Randrianomentsoa, Rojo, et al.
Veröffentlicht: (2022)

Some General Completeness Results for Propositionally Quantified Modal Logics
von: Ding, Yifeng, et al.
Veröffentlicht: (2024)

Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic
von: Kurucz, Agi, et al.
Veröffentlicht: (2023)

Deciding Boolean Separation Logic via Small Models (Technical Report)
von: Dacík, Tomáš, et al.
Veröffentlicht: (2024)

Decidability for Sturmian words
von: Hieronymi, Philipp, et al.
Veröffentlicht: (2021)

Proof-Theoretic Functional Completeness for the Connexive Logic C
von: Ayhan, Sara, et al.
Veröffentlicht: (2025)

Deciding Equations in the Time Warp Algebra
von: van Gool, Sam, et al.
Veröffentlicht: (2023)

Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property
von: Elad, Neta, et al.
Veröffentlicht: (2026)

Arboreal Categories: An Axiomatic Theory of Resources
von: Abramsky, Samson, et al.
Veröffentlicht: (2021)

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property
von: Joshi, Varad, et al.
Veröffentlicht: (2025)

The Finite Satisfiability Problem for Two-Variable, First-Order Logic with one Transitive Relation is Decidable
von: Pratt-Hartmann, Ian
Veröffentlicht: (2017)

Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics
von: Kojima, Ryota, et al.
Veröffentlicht: (2025)

Relative Completeness of Incorrectness Separation Logic
von: Lee, Yeonseok, et al.
Veröffentlicht: (2025)

Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics
von: Nishimura, Yuki
Veröffentlicht: (2022)

Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster
von: Lutz, Carsten, et al.
Veröffentlicht: (2024)

Complete Dynamic Logic of Communicating Hybrid Programs
von: Brieger, Marvin, et al.
Veröffentlicht: (2024)

Measuring Decidability as Related to Busy Beaver Numbers
von: Tandi, Gurpreet, et al.
Veröffentlicht: (2026)

SAT-based Learning of Computation Tree Logic
von: Pommellet, Adrien, et al.
Veröffentlicht: (2024)

$Π$-NeSy: A Possibilistic Neuro-Symbolic Approach
von: Baaj, Ismaïl, et al.
Veröffentlicht: (2025)

A Complete Mental Temporal Logic for Intelligent Agent
von: Cao, Zining
Veröffentlicht: (2025)

Completeness Theorems for k-SUM and Geometric Friends: Deciding Fragments of Integer Linear Arithmetic
von: Gokaj, Geri, et al.
Veröffentlicht: (2025)

A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice
von: van Glabbeek, Rob, et al.
Veröffentlicht: (2025)

Deciding Termination of Simple Randomized Loops
von: Meyer, Éléanore, et al.
Veröffentlicht: (2025)

On the Decidability of Monadic Theories of Arithmetic Predicates
von: Berthé, Valérie, et al.
Veröffentlicht: (2024)

On the Decidability of Presburger Arithmetic Expanded with Powers
von: Karimov, Toghrul, et al.
Veröffentlicht: (2024)

On Deciding Constant Runtime of Linear Loops
von: Frohn, Florian, et al.
Veröffentlicht: (2026)

Tree Rewriting Calculi for Strictly Positive Logics
von: Santiago-Fernández, Sofía, et al.
Veröffentlicht: (2025)