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 |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 59,848
External links
- From the Publisher via CrossRef (no proxy)
- link.springer.com
(no proxy) - link.springer.com [2] (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
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.
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.
View all 11 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 ( #629,544 of 59,812 )
Recent downloads (6 months)
1 ( #463,753 of 59,812 )
2013-11-19
Total views
16 ( #629,544 of 59,812 )
Recent downloads (6 months)
1 ( #463,753 of 59,812 )
How can I increase my downloads?
Downloads
