:: Library Catalog

Buchumschlag

Gespeichert in:

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

Ähnliche Einträge

Kamide is in America, Moisil and Leitgeb are in Australia
von: Niki, Satoru, et al.
Veröffentlicht: (2024)

A note on Grigoriev and Zaitsev's system CNL$^2_4$
von: Omori, Hitoshi, et al.
Veröffentlicht: (2024)

The Power of Generalized Clemens Semantics
von: Omori, Hitoshi, et al.
Veröffentlicht: (2024)

Causal Unfoldings and Disjunctive Causes
von: de Visme, Marc, et al.
Veröffentlicht: (2020)

Finite Axiomatizability by Disjunctive Existential Rules
von: Calautti, Marco, et al.
Veröffentlicht: (2025)

Disjunctions of Two Dependence Atoms
von: Fröhlich, Nicolas, et al.
Veröffentlicht: (2025)

Affine Disjunctive Invariant Generation with Farkas' Lemma
von: Ke, Jingyu, et al.
Veröffentlicht: (2023)

Modal Fragments
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2026)

Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic
von: Fiuk, Oskar, et al.
Veröffentlicht: (2024)

A Principled Solution to the Disjunction Problem of Diagrammatic Query Representations
von: Gatterbauer, Wolfgang
Veröffentlicht: (2024)

Counting Answer Sets of Disjunctive Answer Set Programs
von: Kabir, Mohimenul, et al.
Veröffentlicht: (2025)

Realizing the Maximal Analytic Display Fragment of Labeled Sequent Calculi for Tense Logics
von: Lyon, Tim S.
Veröffentlicht: (2024)

Cardinality and Representation of Stone Relation Algebras
von: Furusawa, Hitoshi, et al.
Veröffentlicht: (2023)

The Adjacent Fragment and Quine's Limits of Decision
von: Bednarczyk, Bartosz, et al.
Veröffentlicht: (2024)

Extended Version of: On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?
von: Hecher, Markus, et al.
Veröffentlicht: (2024)

The Complexity of Fragments of Second-Order HyperLTL
von: Regaud, Gaëtan, et al.
Veröffentlicht: (2025)

Craig Interpolation for Decidable First-Order Fragments
von: Cate, Balder ten, et al.
Veröffentlicht: (2023)

One-Dimensional Fragment over Words and Trees
von: Kieronski, Emanuel, et al.
Veröffentlicht: (2021)

A Dual-Threshold Probabilistic Knowing Value Logic
von: Wang, Shanxia
Veröffentlicht: (2026)

Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
von: Pinsker, Michael, et al.
Veröffentlicht: (2025)

Distribution-Free Normal Modal Logics
von: Hartonas, Chrysafis
Veröffentlicht: (2024)

Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic
von: Ito, Sohei, et al.
Veröffentlicht: (2025)

Complexity of Safety and coSafety Fragments of Linear Temporal Logic
von: Artale, Alessandro, et al.
Veröffentlicht: (2022)

On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories
von: Haase, Christoph, et al.
Veröffentlicht: (2024)

Normalisation for Negative Free Logics without and with Definite Descriptions
von: Kürbis, Nils
Veröffentlicht: (2024)

Distribution-Free Modal Logics: Sahlqvist -- Van Benthem Correspondence
von: Chrysafis, et al.
Veröffentlicht: (2025)

Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants
von: Kieronski, Emanuel, et al.
Veröffentlicht: (2016)

On the Finite Variable-Occurrence Fragment of the Calculus of Relations with Bounded Dot-Dagger Alternation
von: Nakamura, Yoshiki
Veröffentlicht: (2023)

Guarded Fragments Meet Dynamic Logic: The Story of Regular Guards (Extended Version)
von: Bednarczyk, Bartosz, et al.
Veröffentlicht: (2025)

Complexity of the Guarded Two-Variable Fragment with Counting Quantifiers
von: Pratt-Hartmann, Ian
Veröffentlicht: (2006)

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

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

Simpler Presentations for Many Fragments of Quantum Circuits
von: Blake, Colin
Veröffentlicht: (2026)

The Guarded Fragment with Nested Equivalences
von: Fiuk, Oskar
Veröffentlicht: (2026)

Parameterized Verification of Disjunctive Timed Networks
von: André, Étienne, et al.
Veröffentlicht: (2023)

Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat
von: Tóth, Jan, et al.
Veröffentlicht: (2024)

Queries With Exact Truth Values in Paraconsistent Description Logics
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

Many-Valued Modal Logic
von: Karniel, Amir, et al.
Veröffentlicht: (2024)

Group Knowledge of Hypothetical Values
von: Baltag, Alexandru, et al.
Veröffentlicht: (2025)

Bijective proofs for Eulerian numbers of types B and D
von: Santocanale, Luigi
Veröffentlicht: (2021)