Studia Logica 102 (5):1041-1074 (2014)
Abstract |
The transference of preservation results between importing and unconstrained fibring is investigated. For that purpose, a new 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 | Importing Temporalization Finite model property Fibring Biporting Combining logics |
Categories | (categorize this paper) |
ISBN(s) | |
DOI | 10.1007/s11225-013-9524-1 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Intuitionistic Logic.Dirk van Dalen - 2002 - In D. M. Gabbay & F. Guenthner (eds.), ¸ Itegabbay2002. Kluwer Academic Publishers. pp. 1-115.
Adding a Temporal Dimension to a Logic System.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
Fibring: Completeness Preservation.Alberto Zanardo, Amilcar Sernadas & Cristina Sernadas - 2001 - Journal of Symbolic Logic 66 (1):414-439.
Simulation and Transfer Results in Modal Logic – a Survey.Marcus Kracht & Frank Wolter - 1997 - Studia Logica 59 (2):149-177.
Adding a Temporal Dimension to a Logic.Dov M. Gabbay & Marcelo Finger - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
View all 13 references / Add more references
Citations of this work BETA
Combining Logics.Walter Carnielli & Marcelo E. Coniglio - 2008 - Stanford Encyclopedia of Philosophy.
Importing Logics: Soundness and Completeness Preservation. [REVIEW]J. Rasga, A. Sernadas & C. Sernadas - 2013 - Studia Logica 101 (1):117-155.
Similar books and articles
Importing Logics: Soundness and Completeness Preservation. [REVIEW]J. Rasga, A. Sernadas & C. Sernadas - 2013 - Studia Logica 101 (1):117-155.
Importing Logics.João Rasga, Amílcar Sernadas & Cristina Sernadas - 2012 - Studia Logica 100 (3):545-581.
Recovering a Logic From its Fragments by Meta-Fibring.Marcelo Esteban Coniglio - 2007 - Logica Universalis 1 (2):377-416.
Fibring Non-Truth-Functional Logics: Completeness Preservation.C. Caleiro, W. A. Carnielli, M. E. Coniglio, A. Sernadas & C. Sernadas - 2003 - Journal of Logic, Language and Information 12 (2):183-211.
Modulated Fibring and the Collapsing Problem.Cristina Sernadas, João Rasga & Walter A. Carnielli - 2002 - Journal of Symbolic Logic 67 (4):1541-1569.
From Fibring to Cryptofibring. A Solution to the Collapsing Problem.Carlos Caleiro & Jaime Ramos - 2007 - Logica Universalis 1 (1):71-92.
Fibring Logics, Dov M. Gabbay.Amílcar Sernadas - 2000 - Journal of Logic, Language and Information 9 (4):511-513.
Fibred Semantics and the Weaving of Logics Part 1: Modal and Intuitionistic Logics.D. M. Gabbay - 1996 - Journal of Symbolic Logic 61 (4):1057-1120.
Structuring the Universe of Universal Logic.Vladimir L. Vasyukov - 2007 - Logica Universalis 1 (2):277-294.
The Finite Model Property in Tense Logic.Frank Wolter - 1995 - Journal of Symbolic Logic 60 (3):757-774.
The Finite Model Property for Various Fragments of Intuitionistic Linear Logic.Mitsuhiro Okada & Kazushige Terui - 1999 - Journal of Symbolic Logic 64 (2):790-802.
Combining Logics.Walter Carnielli & Marcelo E. Coniglio - 2008 - Stanford Encyclopedia of Philosophy.
Analytics
Added to PP index
2013-11-19
Total views
16 ( #665,648 of 2,506,503 )
Recent downloads (6 months)
1 ( #416,791 of 2,506,503 )
2013-11-19
Total views
16 ( #665,648 of 2,506,503 )
Recent downloads (6 months)
1 ( #416,791 of 2,506,503 )
How can I increase my downloads?
Downloads