Fibring as Biporting Subsumes Asymmetric Combinations |
| |
Authors: | J Rasga A Sernadas C Sernadas |
| |
Institution: | 1. Departamento de Matemática, Instituto Superior Técnico, Universidade de Lisboa, Lisbon, Portugal 2. SQIG, Instituto de Telecomunica??es, Lisbon, Portugal
|
| |
Abstract: | The transference of preservation results between importing (a logic combination mechanism that subsumes several asymmetrical mechanisms for combining logics like temporalization, modalization and globalization) and unconstrained fibring is investigated. For that purpose, a new (more convenient) formulation of fibring, called biporting, is introduced, and importing is shown to be subsumed by biporting. In consequence, particular cases of importing, like temporalization, modalization and globalization are subsumed by fibring. Capitalizing on these results, the preservation of the finite model property by fibring is transferred to importing and then carried over to globalization. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|