On Combining Theories with Shared Set Operations
Cached
Download Links
by
Thomas Wies
,
Ruzica Piskac
,
Viktor Kuncak
| Citations: | 6 - 4 self |
BibTeX
@MISC{Wies_oncombining,
author = {Thomas Wies and Ruzica Piskac and Viktor Kuncak},
title = {On Combining Theories with Shared Set Operations},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. We explore the problem of automated reasoning about the nondisjoint combination of theories that share set variables and operations. We prove a combination theorem and apply it to show the decidability of the satisfiability problem for a class of formulas obtained by applying propositional operations to quantified formulas belonging to several expressive decidable logics. 1
