:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	de Toledo, Guilherme Vicentin, Zohar, Yoni
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science
Online Access:	https://arxiv.org/abs/2405.01478
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Characterizing Sets of Theories That Can Be Disjointly Combined
by: Przybocki, Benjamin, et al.
Published: (2025)

Number theory combination: natural density and SMT
by: Toledo, Guilherme V., et al.
Published: (2025)

Shininess, strong politeness, and unicorns
by: Przybocki, Benjamin, et al.
Published: (2025)

Bringing closure to theory combination properties
by: Toledo, Guilherme V., et al.
Published: (2026)

Being polite is not enough (and other limits of theory combination)
by: Toledo, Guilherme V., et al.
Published: (2025)

The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems
by: Przybocki, Benjamin, et al.
Published: (2024)

Combining fixpoint and differentiation theory
by: Galal, Zeinab, et al.
Published: (2024)

Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis
by: Lanzinger, Florian, et al.
Published: (2024)

Combining Logic with Large Language Models for Automatic Debugging and Repair of ASP Programs
by: Brancas, Ricardo, et al.
Published: (2024)

Combining contextuality and causality: a game semantics approach
by: Abramsky, Samson, et al.
Published: (2023)

On Lower Bounding Minimal Model Count
by: Kabir, Mohimenul, et al.
Published: (2024)

Minimal Model Counting via Knowledge Compilation
by: Kabir, Mohimenul
Published: (2024)

Universal Horn Sentences and the Joint Embedding Property
by: Bodirsky, Manuel, et al.
Published: (2021)

Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification
by: Cristiá, Maximiliano, et al.
Published: (2022)

Minimally Comparing Relational Abstract Domains
by: Ballou, Kenny, et al.
Published: (2023)

Combining Textual and Structural Information for Premise Selection in Lean
by: Petrovčič, Job, et al.
Published: (2025)

Identifying Minimal Changes in the Zone Abstract Domain
by: Ballou, Kenny, et al.
Published: (2023)

Compact SAT Encoding for Power Peak Minimization
by: Van Kieu, Tuyen, et al.
Published: (2025)

Reflection and Preservation of Properties in Coalgebraic (bi)Simulations
by: Fábregas, Ignacio, et al.
Published: (2024)

Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis
by: Murphy, William, et al.
Published: (2024)

A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
by: Nunn, Pierre, et al.
Published: (2024)

RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing
by: Matsushita, Yusuke, et al.
Published: (2025)

Minimal modal logics, constructive modal logics and their relations
by: Dalmonte, Tiziano
Published: (2023)

Effects of the Strict-Tolerant Approach on Intuitionistic and Minimal Logic
by: Barroso-Nascimento, Victor, et al.
Published: (2025)

Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic
by: Ito, Sohei, et al.
Published: (2025)

Minimal covers in the Weihrauch degrees
by: Lempp, Steffen, et al.
Published: (2023)

Verification of Linear Dynamical Systems via O-Minimality of the Real Numbers
by: Karimov, Toghrul
Published: (2024)

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks
by: Kabir, Mohimenul, et al.
Published: (2025)

Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
by: de Jong, Tom
Published: (2024)

Intuitionistic monotone modal logic via translation
by: de Groot, Jim
Published: (2025)

Separability Properties of Monadically Dependent Graph Classes
by: Bonnet, Édouard, et al.
Published: (2025)

Terminating Hybrid Tableaus for Ordered Models
by: Nishimura, Yuki
Published: (2025)

Prime Factorization in Models of PV$_1$
by: Ježil, Ondřej
Published: (2025)

A Logic of Secrecy on Simplicial Models
by: Wang, Shanxia
Published: (2026)

Modelling of logical systems by means of their fragments
by: Rybakov, Mikhail
Published: (2025)

A Simple and Effective ASP-Based Tool for Enumerating Minimal Hitting Sets
by: Kabir, Mohimenul, et al.
Published: (2025)

Relational semantics for flat Heyting-Lewis Logic
by: de Groot, Jim, et al.
Published: (2026)

Filling in the semantics for intuitionistic conditional logic
by: Dufty, Brendan, et al.
Published: (2025)

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

The Pebble-Relation Comonad in Finite Model Theory
by: Montacute, Yoàv, et al.
Published: (2021)