• A. Sernadas, C. Sernadas, J. Rasga, and P. Mateus. Non-deterministic combination of connectives. In Jean-Yves Béziau and Marcelo Coniglio, editors, Logic without Frontiers: Festschrift for Walter Alexandre Carnielli on the Occasion of his 60th Birthday, volume 17 of Tribute Series, pages 321--338. College Publications, London, 2011.
    Get a preprint: 11-SSRM-pcl03.pdf 
  • P. Mateus, J. Ramos, A. Sernadas, and C. Sernadas. Temporal logics for reasoning about quantum systems. In I. Mackie and S. Gay, editors, Semantic Techniques in Quantum Computation, pages 389--413. Cambridge University Press, 2010.
    Get a preprint: 08-MRSS-qsec11.pdf 
  • R. Chadha, P. Mateus, A. Sernadas, and C. Sernadas. Extending classical logic for reasoning about quantum systems. In D. Gabbay K. Engesser and D. Lehmann, editors, Handbook of Quantum Logic and Quantum Structures: Quantum Logic, pages 325--372. Elsevier, 2009.
    Get a preprint: 05-CMSS-quantlog07.pdf 
  • C. Caleiro, W. A. Carnielli, J. Rasga, and C. Sernadas. Fibring of logics as a universal construction. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, 2nd Edition, volume 13, pages 123--187. Springer, 2005.
    Get a preprint: 04-CCRS-fiblog23.pdf 
  • C. Caleiro, A. Sernadas, and C. Sernadas. Fibring logics: Past, present and future. In S. Artemov, H. Barringer, A. S. d'Avila Garcez, L. C. Lamb, and J. Woods, editors, We Will Show Them: Essays in Honour of Dov Gabbay, Volume One, pages 363--388. King's College Publications, 2005.
    Get a preprint: 05-CSS-fiblog27.pdf 
  • P. Mateus, A. Sernadas, and C. Sernadas. Exogenous semantics approach to enriching logics. In G. Sica, editor, Essays on the Foundations of Mathematics and Logic, volume 1, pages 165--194. Polimetrica, 2005.
    Get a preprint: 05-MSS-quantlog03.pdf 
  • A. Sernadas, C. Sernadas, C. Caleiro, and T. Mossakowski. Categorial fibring of logics with terms and binding operators. In D. Gabbay and M. de Rijke, editors, Frontiers of Combining Systems 2, pages 295--316. Research Studies Press, 2000.
    Get a preprint: 98-SSCM-fiblog2.ps 
  • S. Conrad, J. Ramos, G. Saake, and C. Sernadas. Evolving logical specification in information systems. In J. Chomicki and G. Saake, editors, Logic for Databases and Information Systems, pages 199--228. Kluwer Academic Publishers, 1998.
    Get a preprint: 98-CRSS-evol.ps 
  • P. Gouveia and C. Sernadas. Introducing explanations in temporal object specification. In R. Wieringa and R. Feenstra, editors, IS-CORE'94 - Selected Papers, pages 53--68. World Scientific Publishers, 1995.
    Get a preprint: 95-GS-ietos.ps 
  • M. Ryan, A. Sernadas, and C. Sernadas. Adjunctions between default frameworks. In R. Wieringa and R. Feenstra, editors, IS-CORE'94 - Selected papers, pages 155--172. World Scientific Publishers, 1995.
  • G. Saake, A. Sernadas, and C. Sernadas. Evolving object specifications. In R. Wieringa and R. Feenstra, editors, IS-CORE'94 - Selected papers, pages 84--99. World Scientific Publishers, 1995.
    Get a preprint: 95-SSS-evolv.ps 
  • J. Fiadeiro, C. Sernadas, T. Maibaum, and A. Sernadas. Describing and structuring objects for conceptual schema development. In P. Loucopoulos and R. Zicari, editors, Conceptual Modelling, Databases and CASE: An Integrated View of Information Systems Development, pages 117--138. John Wiley, 1992.
  • C. Sernadas, P. Gouveia, J. Gouveia, A. Sernadas, and P. Resende. The reification dimension in object-oriented data base design. In D. Harper and M. Norrie, editors, Specification of Database Systems, pages 275--299. Springer, 1992.
  • C. Sernadas, P. Gouveia, and A. Sernadas. Refinement: Layered definition of conceptual schemata. In E. Falkenberg, C. Rolland, and E. N. El-Sayed, editors, Information System Concepts, pages 19--51. North-Holland, 1992.
  • J. Fiadeiro, C. Sernadas, T. Maibaum, and G. Saake. Proof-theoretic semantics of object-oriented specification constructs. In R. Meersman W. Kent and S. Khosla, editors, Object Oriented Databases: Analysis, Design and Construction, pages 243--284. North-Holland, 1991.
  • R. Jungclaus, G. Saake, and C. Sernadas. Using active objects for query processing. In R. Meersman W. Kent and S. Khosla, editors, Object Oriented Databases: Analysis, Design and Construction, pages 285--303. North-Holland, 1991.
  • C. Sernadas, P. Resende, P. Gouveia, and A. Sernadas. In-the-large object-oriented design of information systems. In F. Van Assche, B. Moulin, and C. Rolland, editors, The Object-Oriented Approach in Information Systems, pages 209--232. North-Holland, 1991.
  • C. Sernadas, J. Fiadeiro, and A. Sernadas. Object-oriented conceptual modeling from law. In R. Meersman, Z. Shi, and C.-H. Kung, editors, The Role of Artificial Intelligence in Databases and Information Systems, pages 305--327. North-Holland, 1990.
  • A. Sernadas and C. Sernadas. Abstraction and inference mechanisms for knowledge representation. In J. Schmidt and C. Thanos, editors, Foundations of Knowledge-Base Management, pages 91--111. Springer, 1989.
  • A. Sernadas, J. Fiadeiro, C. Sernadas, and H.-D. Ehrich. The basic building blocks of information systems. In E. Falkenberg and P. Lindgreen, editors, Information Systems Concepts: An In-Depth Analysis, pages 225--246. North-Holland, 1989.
  • C. Sernadas, J. Fiadeiro, R. Meersman, and A. Sernadas. Proof-theoretic conceptual modeling: The NIAM case study. In E. Falkenberg and P. Lindgreen, editors, Information Systems Concepts: An In-Depth Analysis, pages 1--30. North-Holland, 1989.
  • H.-D. Ehrich, A. Sernadas, and C. Sernadas. Abstract object types for databases. In K. Dittrich, editor, Advances in Object-Oriented Database Systems, pages 144--149. Springer, 1988.
  • A. Sernadas, C. Sernadas, and H.-D. Ehrich. Object-oriented specification of databases: an algebraic approach. In P. Hammersley, editor, Very Large Data Bases 87, pages 107--116. Morgan and Kaufmann, 1987.
  • C. Sernadas and A. Sernadas. Conceptual modeling abstraction mechanisms as parameterized theories in institutions. In R. Meersman and T. Steel, editors, Database Semantics, pages 121--140. North Holland, 1986.
  • A. Sernadas and C. Sernadas. Capturing knowledge about the organization dynamics. In L. Methlie and R. Sprague, editors, Knowledge Representation for Decision Support Systems, pages 255--267. North Holland, 1985.
  • A. Sernadas and C. Sernadas. Conceptual modeling for knowledge-based DSS development. In C. Holsapple and A. Winston, editors, Decision Support Systems: Theory and Application, pages 91--135. Springer, 1985.
  • A. Sernadas and C. Sernadas. The use of ER abstractions for knowledge representation. In P. Chen, editor, Entity-relationship Approach, pages 224--231. IEEE CS Press / North Holland, 1985.