Studia Logica 100 (3):545-581 (2012)
| Abstract |
The novel notion of importing logics is introduced, subsuming as special cases several kinds of asymmetric combination mechanisms, like temporalization [8, 9], modalization [7] and exogenous enrichment [13, 5, 12, 4, 1]. The graph-theoretic approach proposed in [15] is used, but formulas are identified with irreducible paths in the signature multi-graph instead of equivalence classes of such paths, facilitating proofs involving inductions on formulas. Importing is proved to be strongly conservative. Conservative results follow as corollaries for temporalization, modalization and exogenous enrichment
|
| Keywords | Combined logics Importing logics Temporalization Modalization Exogenous enrichment |
| Categories | (categorize this paper) |
| ISBN(s) | |
| DOI | 10.1007/s11225-012-9414-y |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
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.
Adding a Temporal Dimension to a Logic.Dov M. Gabbay & Marcelo Finger - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
A Graph-Theoretic Account of Logics.A. Sernadas, C. Sernadas, J. Rasga & Marcelo E. Coniglio - 2009 - Journal of Logic and Computation 19 (6):1281-1320.
The Unrestricted Combination of Temporal Logic Systems.Marcelo Finger & M. Weiss - 2002 - Logic Journal of the IGPL 10 (2):165-189.
View all 7 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.
Fibring as Biporting Subsumes Asymmetric Combinations.J. Rasga, A. Sernadas & C. Sernadas - 2014 - Studia Logica 102 (5):1041-1074.
Probabilization of Logics: Completeness and Decidability. [REVIEW]Pedro Baltazar - 2013 - Logica Universalis 7 (4):403-440.
Similar books and articles
Importing Logics: Soundness and Completeness Preservation. [REVIEW]J. Rasga, A. Sernadas & C. Sernadas - 2013 - Studia Logica 101 (1):117-155.
Modulated Fibring and the Collapsing Problem.Cristina Sernadas, João Rasga & Walter A. Carnielli - 2002 - Journal of Symbolic Logic 67 (4):1541-1569.
Fibring Logics, Dov M. Gabbay.Amílcar Sernadas - 2000 - Journal of Logic, Language and Information 9 (4):511-513.
Synchronization of Logics.Amílcar Sernadas, Cristina Sernadas & Carlos Caleiro - 1997 - Studia Logica 59 (2):217-247.
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.
A Universal Logic Approach to Adaptive Logics.Diderik Batens - 2007 - Logica Universalis 1 (1):221-242.
Simulation and Transfer Results in Modal Logic – a Survey.Marcus Kracht & Frank Wolter - 1997 - Studia Logica 59 (2):149-177.
An Infinity of Super-Belnap Logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319 - 335.
Halldén-Completeness in Super-Intuitionistic Predicate Logics.Nobu-Yuki Suzuki - 2003 - Studia Logica 73 (1):113 - 130.
On Maximal Intermediate Predicate Constructive Logics.Alessandro Avellone, Camillo Fiorentini, Paolo Mantovani & Pierangelo Miglioli - 1996 - Studia Logica 57 (2-3):373 - 408.
Analytics
Added to PP index
2012-07-03
Total views
18 ( #611,110 of 2,519,597 )
Recent downloads (6 months)
1 ( #406,756 of 2,519,597 )
2012-07-03
Total views
18 ( #611,110 of 2,519,597 )
Recent downloads (6 months)
1 ( #406,756 of 2,519,597 )
How can I increase my downloads?
Downloads
