Combined covers and Beth definability
type: Item
instance of: scholarly article
title: Combined covers and Beth definability
DOI: 10.1007/978-3-030-51074-9_11
author: Diego Calvanese
author: Silvio Ghilardi
author: Alessandro Gianola
author: Marco Montali
author: Andrey Rivkin
publication date: 2022-11-09T00:00:00Z
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7614513
describes a project that uses: Mcmt
MaRDI profile type: Publication
full work available at URL: 978-3-030-51074-9 11
OpenAlex ID: W3040652710
cites work: Uniform interpolation and propositional quantifiers in modal logics
cites work: Quantifier-free interpolation in combinations of equality interpolating theories
cites work: From model completeness to verification of data aware processes
cites work: Model completeness, covers and superposition
cites work: SMT-based verification of data-aware processes: a model-theoretic approach
cites work: Model theory.
cites work: An algebraic theory of normal forms
cites work: Model-theoretic methods in combined constraint satisfiability
cites work: Interpolation, amalgamation and combination (the non-disjoint signatures case)
cites work: Modularity results for interpolation, amalgamation and superamalgamation
cites work: MCMT: A Model Checker Modulo Theories
cites work: Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
cites work: A sheaf representation and duality for finitely presented Heyting algebras
cites work: Undefinability of propositional quantifiers in the modal system S4
cites work: Model completions and r-Heyting categories
cites work: Cover Algorithms and Their Combination
cites work: Uniform interpolation and coherence
cites work: Simplification by Cooperating Decision Procedures
cites work: On invariant synthesis for parametric systems
cites work: On an interpretation of second order quantification in first order intuitionistic propositional logic
cites work: Q4068699
cites work: Q4694581
cites work: On Interpolation and Symbol Elimination in Theory Extensions
cites work: Q4385439
cites work: Uniform interpolation and compact congruences
cites work: Q4893140
cites work: Automated Deduction – CADE-20
description: scientific article; zbMATH DE number 7614513