Linked bibliography for the SEP article "Combining Logics" by Walter Carnielli |
This is an automatically generated and experimental page
If everything goes well, this page should display the bibliography of the aforementioned article as it appears in the Stanford Encyclopedia of Philosophy, but with links added to PhilPapers records and Google Scholar for your convenience. Some bibliographies are not going to be represented correctly or fully up to date. In general, bibliographies of recent works are going to be much better linked than bibliographies of primary literature and older works. Entries with PhilPapers records have links on their titles. A green link indicates that the item is available online at least partially.
This experiment has been authorized by the editors of the Stanford Encyclopedia of Philosophy. The original article and bibliography can be found here.
- Avron, A. and Lev, I., 2001, “Canonical propositional Gentzen-type systems”, in Proceedings of the 1st International Joint Conference on Automated Reasoning (IJCAR 2001), volume 2083 of Lecture Notes in Artificial Intelligence, pp. 529–544, Springer Verlag. (Scholar)
- Avron, A. and Lev, I., 2005, “Non-deterministic multiple-valued structures”, Journal of Logic and Computation, 15(3): 241–261. (Scholar)
- Baumgardt, D., 1946, “Legendary quotations and lack of references”, Journal of the History of Ideas, 7(1): 99–102. (Scholar)
- Béziau, J.-Y., 2004, “A paradox in the combination of logics”, in Carnielli, W., Dionísio, F., and Mateus, P., editors, Proceedings of CombLog'04 – Workshop on Combination of Logics: Theory and Applications, Lisbon (Portugal), pp. 76–77, Departamento de Matemática, Instituto Superior Técnico, Lisbon (Portugal).
- Béziau, J.-Y. and Coniglio, M., 2011, “To Distribute or not to Distribute?”, Logic Journal of the IGPL, 19(4): 566–583. (Scholar)
- Blackburn, P. and de Rijke, M., 1997, “Zooming in, zooming out”, Journal of Logic, Language and Information, 6(1): 5–31. (Scholar)
- Caleiro, C., Carnielli, W., Rasga, J., and Sernadas, C., 2005, “Fibring of logics as a universal construction”, Volume 13 of Handbook of Philosophical Logic, 2nd Edition, pp. 123–187, Springer. (Scholar)
- Caleiro, C. and Ramos, J., 2007, From fibring to cryptofibring: A solution to the collapsing problem. Logica Universalis, 1(1): 71–92. (Scholar)
- Caleiro, C., Sernadas, C., and Sernadas, A., 1999, “Parameterisation of logics”, in Fiadeiro, J., editor, Recent Trends in Algebraic Development Techniques, volume 1589 of Lecture Notes in Computer Science, pp. 48–62. Springer. (Scholar)
- Carnielli, W., 1990, “Many-valued logics and plausible reasoning”, in Proceedings of the XX International Congress on Many-Valued Logics, University of Charlotte, USA, pp. 328–335, IEEE Computer Society. (Scholar)
- Carnielli, W., 2000, “Possible-Translations Semantics for Paraconsistent Logics”, in Batens, D., Mortensen, C., Priest, G., and Van Bendegem, J. P., editors, Frontiers of Paraconsistent Logic: Proceedings of the I World Congress on Paraconsistency, Logic and Computation Series, pp. 149–163. Baldock: Research Studies Press, King's College Publications. (Scholar)
- Carnielli, W., Coniglio, M., Gabbay, D., Gouveia, P., and Sernadas, C., 2008, Analysis and Synthesis of Logics. Volume 35 of Applied Logic Series. Springer. (Scholar)
- Carnielli, W., Coniglio, M., and Marcos, J., 2007, “Logics of Formal Inconsistency”, Volume 14 of Handbook of Philosophical Logic, 2nd Edition, pp 15–107. Springer. Preliminary version available at CLE e-Prints, 5(1), 2005, URL = http://www.cle.unicamp.br/e-prints/vol_5,n_1,2005.html. (Scholar)
- Carnielli, W. and Coniglio, M., 2005, “Splitting logics”, in Artemov, S., Barringer, H., d'Avila Garcez, A. S., Lamb, L. C., and Woods, J., editors, We Will Show Them: Essays in Honour of Dov Gabbay, volume 1, pp. 389–414. College Publications. (Scholar)
- Carnielli, W. and Marcos, J., 2002, “A taxonomy of C-systems”, in Carnielli, W., Coniglio, M., and D'Ottaviano, I., editors, Paraconsistency: the logical way to the inconsistent, Proceedings of WCP'2000, volume 228 of Lecture Notes in Pure and Applied Mathematics, Marcel Dekker.
- Coniglio, M., 2007, “Recovering a logic from its fragments by meta-fibring”, Logica Universalis, 1(2): 1–39. Preliminary version available at CLE e-Prints, 5(4), 2005, URL = http://www.cle.unicamp.br/e-prints/vol_5,n_4,2005.html. (Scholar)
- Coniglio, M. and Fernández, V., 2005, “Plain fibring and direct union of logics with matrix semantics”, in Prasad, B., editor, Proceedings of the 2nd Indian International Conference on Artificial Intelligence (IICAI 2005), Pune, India, pp. 1590–1608, IICAI. (Scholar)
- Coniglio, M.E., Sernadas, A., and Sernadas, C., 2011, “Preservation a logic by fibring of the finite model property”, Journal of Logic and Computation, 21(2): 375–402. (Scholar)
- Cruz-Filipe, L., Sernadas, A., and Sernadas, C., 2008, “Heterogeneous fibring of deductive systems via abstract proof systems”, Logic Journal of the IGPL, 16(2): 121–153. (Scholar)
- del Cerro, L. F. and Herzig, A., 1996, Combining classical and intuitionistic logic, or: Intuitionistic implication as a conditional, in Baader, F. and Schulz, K., editors, Frontiers of Combining Systems: Proceedings of the 1st International Workshop, Munich (Germany), volume 3 of Applied Logic Series, pp. 93–102, Kluwer Academic Publishers. (Scholar)
- Diaconescu, R. and Futatsugi, K., 2002, “Logical foundations of CAFEOBJ”, Theoretical Computer Science, 285(2): 289–318. (Scholar)
- Epstein, R., 1995, The Semantic Foundations of Logic, Oxford University Press, 2nd edition, volume 1: Propositional logics, With the assistance and collaboration of W. Carnielli, I. D'Ottaviano, S. Krajewski and R. Maddux. (Scholar)
- Fajardo, R. A. S. and Finger, M., 2003, “Non-normal modalisation”, in Balbiani, Ph., Suzuki, N.-Y., Wolter, F. and Zakharyaschev, M., editors, Advances in Modal Logic, Volume 4, pp. 83–95, King's College Publications. (Scholar)
- Fine, K. and Schurz, G., 1996, “Transfer theorems for multimodal logics”, in Copeland, J., editor, Logic and Reality: Essays on the Legacy of Arthur Prior, Oxford, pp. 169–213, Oxford University Press. (Scholar)
- Finger, M. and Gabbay, D., 1992, “Adding a temporal dimension to a logic system”, Journal of Logic, Language and Information, 1(3): 203–233. (Scholar)
- Finger, M. and Gabbay, D., 1996, “Combining temporal logic systems”, Notre Dame Journal of Formal Logic, 37(2): 204–232. (Scholar)
- Finger, M. and Weiss, M. A., 2002, “The unrestricted combination of temporal logic systems”, Logic Journal of the IGPL, 10(2): 165–189. (Scholar)
- Fitting, M., 1969, “Logics with several modal operators”, Theoria, 35: 259–266. (Scholar)
- Gabbay, D., 1996a, “Fibred semantics and the weaving of logics: Part 1”, Journal of Symbolic Logic, 61(4): 1057–1120. (Scholar)
- Gabbay, D., 1996b, “An overview of fibred semantics and the combination of logics”, in F. Baader and K.U. Schulz, editors, Frontiers of Combining Systems: Proceedings of the 1st International Workshop FroCos'96, Munich (Germany), volume 3 of Applied Logic, pp. 1–55. Kluwer Academic Publishers. (Scholar)
- Gabbay, D., 1999, Fibring Logics, volume 38 of Oxford Logic Guides, Oxford University Press, New York. (Scholar)
- Goguen, J. and Burstall, R., 1986, “A study in the foundations of programming methodology: specifications, institutions, charters and parchments”, in Category Theory and Computer Programming, volume 240 of Lecture Notes in Computer Science, pp. 313–333, Springer.
- Goguen, J. and Burstall, R., 1984, “Introducing institutions”, in Logics of Programs (Carnegie-Mellon University, June 1983), volume 164 of Lecture Notes in Computer Science, pp. 221–256, Springer. (Scholar)
- Goguen, J. and Burstall, R., 1992, “Institutions: Abstract model theory for specification and programming”, Journal of the ACM, 39(1): 95–146. (Scholar)
- Governatori, G., Padmanabhan, V. and Sattar, A., 2002, “On Fibring Semantics for BDI Logics”, in S. Flesca, S. Greco, N. Leone and G. Ianni, editors, Logics in Artificial Intelligence: European Conference – JELIA 2002, Volume 2424 of Lecture Notes in Computer Science, pp. 198–209, Springer. (Scholar)
- Hume, D., 2000, In Norton, D. F. and Norton, M. J., editors, David Hume: A Treatise of Human Nature, Oxford University Press. (Scholar)
- Karmo, T., 1988, “Some valid (but no sound) arguments trivially span the ‘Is’–‘Ought’ gap”, Mind, 97(386): 252–257. (Scholar)
- Kracht, M., 2004, Review of Fibring Logics, by Dov Gabbay, Oxford Logic Guides, vol. 38, Oxford University Press, 1998, The Bulletin of Symbolic Logic 10(2): 209–211. (Scholar)
- Kracht, M. and Kutz, O., 2002, “The semantics of modal predicate logic I: Counterpart-frames”, in F. Wolter, H. Wansing, M. de Rijke, and M. Zakharyaschev, editors, Advances in Modal Logic, Volume 3, pp. 299–320. World Scientific. (Scholar)
- Kracht, M. and Wolter, F., 1991, “Properties of Independently Axiomatizable Bimodal Logics”, Journal of Symbolic Logic 56(4): 1469–1485. (Scholar)
- Kracht, M. and Wolter, F., 1997, “Simulation and Transfer Results in Modal Logic – A Survey”, Studia Logica, 59(2): 149–177. (Scholar)
- Kracht, M. and Wolter, F., 1999, “Normal monomodal logics can simulate all others”, Journal of Symbolic Logic, 64(1): 99–138. (Scholar)
- Marcos, J., 1999, Semânticas de Traduções Possíveis (Possible-Translations Semantics, in Portuguese), Master's thesis, IFCH-UNICAMP, Campinas, Brazil. (Scholar)
- Marcos, J., 2008, “Possible-translations semantics for some weak classically-based paraconsistent logics”, Journal of Applied Non-Classical Logics, 18(1): 7–28. (Scholar)
- Mossakowski, T., 1996, “Using limits of parchments to systematically construct institutions of partial algebras”, in Haveraaen, M., Owe, O., and Dahl, O.-J., editors, Recent Trends in Data Type Specifications, volume 1130 of Lecture Notes in Computer Science, pp. 379–393, Springer. (Scholar)
- Prior, A. N., 1960, “The autonomy of ethics”, Australasian Journal of Philosophy, 38(3): 199–206. (Scholar)
- Rasga, J., Roggia, K., Sernadas, C., 2010, “Fusion of sequent modal logic systems labelled with truth values”, Logic Journal of the IGPL, 18(6): 893–920. (Scholar)
- Rasga, J., Sernadas, A., and Sernadas, C., 2011, “Importing logics”, Studia Logica, in press. (Scholar)
- Schurz, G., 1991, “How far can Hume's is-ought-thesis be generalized? An investigation in alethic-deontic modal predicate logic”, Journal of Philosophical Logic, 20: 37–95. (Scholar)
- Schurz, G., 1997, The Is-Ought Problem: An Investigation in Philosophical Logic, Dordrecht: Kluwer. (Scholar)
- Schurz, G., 2010, “Combinations and completeness transfer for quantified modal logics”, Logic Journal of IGPL, Advance Access, doi: 10.1093/jigpal/jzp085. (Scholar)
- Segerberg, K., 1973, “Two-dimensional modal logic”, Journal of Philosophical Logic, 2(1): 77–96. (Scholar)
- Shehtman, V., 1978, “Two-dimensional modal logics”, Akademiya Nauk SSSR. Matematicheskie Zametki, 23(5): 759–772. (Scholar)
- Sernadas, A., Sernadas, C., and Caleiro, C., 1999, “Fibring of logics as a categorial construction”, Journal of Logic and Computation, 9(2): 149–179. (Scholar)
- Sernadas, A., Sernadas, C. and Rasga, J., 2011a, “On combined connectives”, Logica Universalis, Advance Access, doi: 10.1007/s11787-011-0032-7. (Scholar)
- Sernadas, A., Sernadas, C. and Rasga, J., 2011b, “On meet-combination of logics”, to appear. (Scholar)
- Sernadas, A., Sernadas, C., Rasga, J. and Coniglio, M., 2009a, “A graph-theoretic account of logics”, Journal of Logic and Computation, 19(6): 1281–1320.
- Sernadas, A., Sernadas, C., Rasga, J. and Coniglio, M., 2009b, “On graph-theoretic Fibring of logics”, Journal of Logic and Computation, 19(6): 1321–1357. (Scholar)
- Sernadas, A., Sernadas, C., and Zanardo, A., 2002a, “Fibring modal first-order logics: Completeness preservation”, Logic Journal of the IGPL, 10(4): 413–451. (Scholar)
- Sernadas, C., Rasga, J., and Carnielli, W., 2002b, “Modulated fibring and the collapsing problem”, Journal of Symbolic Logic, 67(4): 1541–1569. (Scholar)
- Stuhlmann-Laeisz, R., 1983, Das Sein-Sollen-Problem. Eine modallogische Studie (problemata 96), Frommann-Holzboog, Stuttgart. (Scholar)
- Tarlecki, A., 2000, “Towards heterogeneous specifications”, in Gabbay, D. and Rijke, M. D., editors, Frontiers of Combining Systems 2, Research Studies Press/Wiley. (Scholar)
- Thomason, R., 1984, “Combinations of tense and modality”, volume 2 of Handbook of Philosophical Logic, pp. 135–165, Reidel. (Scholar)
- van Benthem, J., 2006, “Epistemic logic and epistemology: the state of their affairs”, Philosophical Studies, 128(1): 49–76. (Scholar)
- van Benthem, J., Bezhanishvili, G. ten Cate, B. and Sarenac, D., 2006, “Multimodal Logics of Products of Topologies”, Studia Logica, 84(3): 369–392. (Scholar)
- Zanardo, A., Sernadas, A., and Sernadas, C., 2001, “Fibring: Completeness preservation”, Journal of Symbolic Logic, 66(1): 414–439. (Scholar)
Generated Mon May 6 10:49:55 2013
