Imagen de Portada

Combining Combination Properties: Minimal Models

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	de Toledo, Guilherme Vicentin, Zohar, Yoni
Formato:	Preprint
Publicado:	2024
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

Shininess, strong politeness, and unicorns
por: Przybocki, Benjamin, et al.
Publicado: (2025)

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

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

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

Combining fixpoint and differentiation theory
por: Galal, Zeinab, et al.
Publicado: (2024)

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

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

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

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

Minimal Model Counting via Knowledge Compilation
por: Kabir, Mohimenul
Publicado: (2024)

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

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

Minimally Comparing Relational Abstract Domains
por: Ballou, Kenny, et al.
Publicado: (2023)

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

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

Minimal modal logics, constructive modal logics and their relations
por: Dalmonte, Tiziano
Publicado: (2023)

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

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

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

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

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

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

Terminating Hybrid Tableaus for Ordered Models
por: Nishimura, Yuki
Publicado: (2025)

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

A Logic of Secrecy on Simplicial Models
por: Wang, Shanxia
Publicado: (2026)

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

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

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

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

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

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

Embedded Finite Models Beyond Restricted Quantifier Collapse
por: Benedikt, Michael, et al.
Publicado: (2023)

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

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

Complexity of the Model Checking problem for inquisitive propositional and modal logic
por: Grilletti, Gianluca, et al.
Publicado: (2024)

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

Intuitionistic monotone modal logic via translation
por: de Groot, Jim
Publicado: (2025)

The Complexity of Learning Temporal Properties
por: Bordais, Benjamin, et al.
Publicado: (2024)