Saved in:
| Main Author: | Omori, Hitoshi |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2501.00501 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Kamide is in America, Moisil and Leitgeb are in Australia
by: Niki, Satoru, et al.
Published: (2024)
by: Niki, Satoru, et al.
Published: (2024)
A note on Grigoriev and Zaitsev's system CNL$^2_4$
by: Omori, Hitoshi, et al.
Published: (2024)
by: Omori, Hitoshi, et al.
Published: (2024)
The Power of Generalized Clemens Semantics
by: Omori, Hitoshi, et al.
Published: (2024)
by: Omori, Hitoshi, et al.
Published: (2024)
Causal Unfoldings and Disjunctive Causes
by: de Visme, Marc, et al.
Published: (2020)
by: de Visme, Marc, et al.
Published: (2020)
Finite Axiomatizability by Disjunctive Existential Rules
by: Calautti, Marco, et al.
Published: (2025)
by: Calautti, Marco, et al.
Published: (2025)
Disjunctions of Two Dependence Atoms
by: Fröhlich, Nicolas, et al.
Published: (2025)
by: Fröhlich, Nicolas, et al.
Published: (2025)
Affine Disjunctive Invariant Generation with Farkas' Lemma
by: Ke, Jingyu, et al.
Published: (2023)
by: Ke, Jingyu, et al.
Published: (2023)
Modal Fragments
by: Bezhanishvili, Nick, et al.
Published: (2026)
by: Bezhanishvili, Nick, et al.
Published: (2026)
Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic
by: Fiuk, Oskar, et al.
Published: (2024)
by: Fiuk, Oskar, et al.
Published: (2024)
A Principled Solution to the Disjunction Problem of Diagrammatic Query Representations
by: Gatterbauer, Wolfgang
Published: (2024)
by: Gatterbauer, Wolfgang
Published: (2024)
Counting Answer Sets of Disjunctive Answer Set Programs
by: Kabir, Mohimenul, et al.
Published: (2025)
by: Kabir, Mohimenul, et al.
Published: (2025)
Realizing the Maximal Analytic Display Fragment of Labeled Sequent Calculi for Tense Logics
by: Lyon, Tim S.
Published: (2024)
by: Lyon, Tim S.
Published: (2024)
Cardinality and Representation of Stone Relation Algebras
by: Furusawa, Hitoshi, et al.
Published: (2023)
by: Furusawa, Hitoshi, et al.
Published: (2023)
The Adjacent Fragment and Quine's Limits of Decision
by: Bednarczyk, Bartosz, et al.
Published: (2024)
by: Bednarczyk, Bartosz, et al.
Published: (2024)
Extended Version of: On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?
by: Hecher, Markus, et al.
Published: (2024)
by: Hecher, Markus, et al.
Published: (2024)
The Complexity of Fragments of Second-Order HyperLTL
by: Regaud, Gaëtan, et al.
Published: (2025)
by: Regaud, Gaëtan, et al.
Published: (2025)
Craig Interpolation for Decidable First-Order Fragments
by: Cate, Balder ten, et al.
Published: (2023)
by: Cate, Balder ten, et al.
Published: (2023)
One-Dimensional Fragment over Words and Trees
by: Kieronski, Emanuel, et al.
Published: (2021)
by: Kieronski, Emanuel, et al.
Published: (2021)
A Dual-Threshold Probabilistic Knowing Value Logic
by: Wang, Shanxia
Published: (2026)
by: Wang, Shanxia
Published: (2026)
Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
by: Pinsker, Michael, et al.
Published: (2025)
by: Pinsker, Michael, et al.
Published: (2025)
Distribution-Free Normal Modal Logics
by: Hartonas, Chrysafis
Published: (2024)
by: Hartonas, Chrysafis
Published: (2024)
Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic
by: Ito, Sohei, et al.
Published: (2025)
by: Ito, Sohei, et al.
Published: (2025)
Complexity of Safety and coSafety Fragments of Linear Temporal Logic
by: Artale, Alessandro, et al.
Published: (2022)
by: Artale, Alessandro, et al.
Published: (2022)
On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories
by: Haase, Christoph, et al.
Published: (2024)
by: Haase, Christoph, et al.
Published: (2024)
Normalisation for Negative Free Logics without and with Definite Descriptions
by: Kürbis, Nils
Published: (2024)
by: Kürbis, Nils
Published: (2024)
Distribution-Free Modal Logics: Sahlqvist -- Van Benthem Correspondence
by: Chrysafis, et al.
Published: (2025)
by: Chrysafis, et al.
Published: (2025)
Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants
by: Kieronski, Emanuel, et al.
Published: (2016)
by: Kieronski, Emanuel, et al.
Published: (2016)
On the Finite Variable-Occurrence Fragment of the Calculus of Relations with Bounded Dot-Dagger Alternation
by: Nakamura, Yoshiki
Published: (2023)
by: Nakamura, Yoshiki
Published: (2023)
Guarded Fragments Meet Dynamic Logic: The Story of Regular Guards (Extended Version)
by: Bednarczyk, Bartosz, et al.
Published: (2025)
by: Bednarczyk, Bartosz, et al.
Published: (2025)
Complexity of the Guarded Two-Variable Fragment with Counting Quantifiers
by: Pratt-Hartmann, Ian
Published: (2006)
by: Pratt-Hartmann, Ian
Published: (2006)
Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property
by: Elad, Neta, et al.
Published: (2026)
by: Elad, Neta, et al.
Published: (2026)
A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property
by: Joshi, Varad, et al.
Published: (2025)
by: Joshi, Varad, et al.
Published: (2025)
Simpler Presentations for Many Fragments of Quantum Circuits
by: Blake, Colin
Published: (2026)
by: Blake, Colin
Published: (2026)
The Guarded Fragment with Nested Equivalences
by: Fiuk, Oskar
Published: (2026)
by: Fiuk, Oskar
Published: (2026)
Parameterized Verification of Disjunctive Timed Networks
by: André, Étienne, et al.
Published: (2023)
by: André, Étienne, et al.
Published: (2023)
Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat
by: Tóth, Jan, et al.
Published: (2024)
by: Tóth, Jan, et al.
Published: (2024)
Queries With Exact Truth Values in Paraconsistent Description Logics
by: Bienvenu, Meghyn, et al.
Published: (2024)
by: Bienvenu, Meghyn, et al.
Published: (2024)
Many-Valued Modal Logic
by: Karniel, Amir, et al.
Published: (2024)
by: Karniel, Amir, et al.
Published: (2024)
Group Knowledge of Hypothetical Values
by: Baltag, Alexandru, et al.
Published: (2025)
by: Baltag, Alexandru, et al.
Published: (2025)
Bijective proofs for Eulerian numbers of types B and D
by: Santocanale, Luigi
Published: (2021)
by: Santocanale, Luigi
Published: (2021)
Similar Items
-
Kamide is in America, Moisil and Leitgeb are in Australia
by: Niki, Satoru, et al.
Published: (2024) -
A note on Grigoriev and Zaitsev's system CNL$^2_4$
by: Omori, Hitoshi, et al.
Published: (2024) -
The Power of Generalized Clemens Semantics
by: Omori, Hitoshi, et al.
Published: (2024) -
Causal Unfoldings and Disjunctive Causes
by: de Visme, Marc, et al.
Published: (2020) -
Finite Axiomatizability by Disjunctive Existential Rules
by: Calautti, Marco, et al.
Published: (2025)