Title: Synchronization of logics with mixed rules: Completeness preservation
Abstract: Several mechanisms for combining logics have appeared in the literature. Synchronization is one of the simplest: the language of the combined logic is the disjoint union of the given languages, but the class of models of the resulting logic is a subset of the cartesian product of the given classes of models (the interaction between the two logics is imposed by constraining the class of pairs of models). Herein, we give both a model-theoretic and a proof-theoretic account of synchronization as a categorial construction (using coproducts and cocartesian liftings). We also prove that soundness is preserved by possibly constrained synchronization and state sufficient conditions for preservation of model existence and strong completeness. We provide an application to the combination of dynamic logic and linear temporal logic.
Publication Year: 1997
Publication Date: 1997-01-01
Language: en
Type: book-chapter
Indexed In: ['crossref']
Access and Citation
Cited By Count: 9
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot