Buchumschlag

Combining Combination Properties: Minimal Models

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	de Toledo, Guilherme Vicentin, Zohar, Yoni
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Characterizing Sets of Theories That Can Be Disjointly Combined
von: Przybocki, Benjamin, et al.
Veröffentlicht: (2025)

Number theory combination: natural density and SMT
von: Toledo, Guilherme V., et al.
Veröffentlicht: (2025)

Shininess, strong politeness, and unicorns
von: Przybocki, Benjamin, et al.
Veröffentlicht: (2025)

Bringing closure to theory combination properties
von: Toledo, Guilherme V., et al.
Veröffentlicht: (2026)

Being polite is not enough (and other limits of theory combination)
von: Toledo, Guilherme V., et al.
Veröffentlicht: (2025)

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

Combining fixpoint and differentiation theory
von: Galal, Zeinab, et al.
Veröffentlicht: (2024)

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

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

On Lower Bounding Minimal Model Count
von: Kabir, Mohimenul, et al.
Veröffentlicht: (2024)

Combining contextuality and causality: a game semantics approach
von: Abramsky, Samson, et al.
Veröffentlicht: (2023)

Minimal Model Counting via Knowledge Compilation
von: Kabir, Mohimenul
Veröffentlicht: (2024)

Universal Horn Sentences and the Joint Embedding Property
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2021)

Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification
von: Cristiá, Maximiliano, et al.
Veröffentlicht: (2022)

Minimally Comparing Relational Abstract Domains
von: Ballou, Kenny, et al.
Veröffentlicht: (2023)

Identifying Minimal Changes in the Zone Abstract Domain
von: Ballou, Kenny, et al.
Veröffentlicht: (2023)

Compact SAT Encoding for Power Peak Minimization
von: Van Kieu, Tuyen, et al.
Veröffentlicht: (2025)

Minimal modal logics, constructive modal logics and their relations
von: Dalmonte, Tiziano
Veröffentlicht: (2023)

Effects of the Strict-Tolerant Approach on Intuitionistic and Minimal Logic
von: Barroso-Nascimento, Victor, et al.
Veröffentlicht: (2025)

Reflection and Preservation of Properties in Coalgebraic (bi)Simulations
von: Fábregas, Ignacio, et al.
Veröffentlicht: (2024)

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

Verification of Linear Dynamical Systems via O-Minimality of the Real Numbers
von: Karimov, Toghrul
Veröffentlicht: (2024)

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks
von: Kabir, Mohimenul, et al.
Veröffentlicht: (2025)

Combining Textual and Structural Information for Premise Selection in Lean
von: Petrovčič, Job, et al.
Veröffentlicht: (2025)

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

Terminating Hybrid Tableaus for Ordered Models
von: Nishimura, Yuki
Veröffentlicht: (2025)

Prime Factorization in Models of PV$_1$
von: Ježil, Ondřej
Veröffentlicht: (2025)

A Logic of Secrecy on Simplicial Models
von: Wang, Shanxia
Veröffentlicht: (2026)

Modelling of logical systems by means of their fragments
von: Rybakov, Mikhail
Veröffentlicht: (2025)

A Simple and Effective ASP-Based Tool for Enumerating Minimal Hitting Sets
von: Kabir, Mohimenul, et al.
Veröffentlicht: (2025)

The Pebble-Relation Comonad in Finite Model Theory
von: Montacute, Yoàv, et al.
Veröffentlicht: (2021)

Embedded Finite Models Beyond Restricted Quantifier Collapse
von: Benedikt, Michael, et al.
Veröffentlicht: (2023)

Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis
von: Murphy, William, et al.
Veröffentlicht: (2024)

A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
von: Nunn, Pierre, et al.
Veröffentlicht: (2024)

RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing
von: Matsushita, Yusuke, et al.
Veröffentlicht: (2025)

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

Complexity of the Model Checking problem for inquisitive propositional and modal logic
von: Grilletti, Gianluca, et al.
Veröffentlicht: (2024)

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

Intuitionistic monotone modal logic via translation
von: de Groot, Jim
Veröffentlicht: (2025)

The Complexity of Learning Temporal Properties
von: Bordais, Benjamin, et al.
Veröffentlicht: (2024)