Switch to: References

Add citations

You must login to add citations.
  1. Malinowski modalization, modalization through fibring and the Leibniz hierarchy.M. A. Martins & G. Voutsadakis - 2013 - Logic Journal of the IGPL 21 (5):836-852.
    Download  
     
    Export citation  
     
    Bookmark  
  • Combining logics.Walter Carnielli & Marcelo E. Coniglio - 2008 - Stanford Encyclopedia of Philosophy.
    Although a very recent topic in contemporary logic, the subject of combinations of logics has already shown its deep possibilities. Besides the pure philosophical interest offered by the possibility of defining mixed logic systems in which distinct operators obey logics of different nature, there are also several pragmatical and methodological reasons for considering combined logics. We survey methods for combining logics (integration of several logic systems into a homogeneous environment) as well as methods for decomposing logics, showing their interesting properties (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Decidability and complexity of fibred logics without shared connectives.Sérgio Marcelino & Carlos Caleiro - 2016 - Logic Journal of the IGPL 24 (5).
    Download  
     
    Export citation  
     
    Bookmark   2 citations