Cristina Sernadas

According to our database, Cristina Sernadas authored at least 89 papers between 1985 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Conservative Translations Revisited.

Jaime Ramos, João Rasga, Cristina Sernadas

J. Philos. Log., June, 2023

2022

Adding abductive reasoning to a propositional logic.

João Rasga, Cristina Sernadas

J. Log. Comput., 2022

2021

Event-Based Time-Stamped Claim Logic.

Jaime Ramos, João Rasga, Cristina Sernadas, Luca Viganò

J. Log. Algebraic Methods Program., 2021

Time-stamped claim logic.

João Rasga, Cristina Sernadas, Erisa Karafili, Luca Viganò

Log. J. IGPL, 2021

Reduction Techniques for Proving Decidability in Logics and their Meet-Combination.

João Rasga, Cristina Sernadas, Walter Carnielli

Bull. Symb. Log., 2021

2020

Essential Structure of Proofs as a Measure of Complexity.

Jaime Ramos, João Rasga, Cristina Sernadas

Logica Universalis, 2020

2019

Probabilistic logic of quantum observations.

Amílcar Sernadas, João Rasga, Cristina Sernadas, Luís Alcácer, Alfredo Barbosa Henriques

Log. J. IGPL, 2019

2017

Decision and optimization problems in the unreliable-circuit logic.

João Rasga, Cristina Sernadas, Paulo Mateus, Amílcar Sernadas

Log. J. IGPL, 2017

2016

Preservation of Admissible Rules when Combining Logics.

João Rasga, Cristina Sernadas, Amílcar Sernadas

Rev. Symb. Log., 2016

2014

Fibring as Biporting Subsumes Asymmetric Combinations.

João Rasga, Amílcar Sernadas, Cristina Sernadas

Stud Logica, 2014

Craig Interpolation in the Presence of Unreliable Connectives.

João Rasga, Cristina Sernadas, Amílcar Sernadas

Logica Universalis, 2014

Approximate reasoning about logic circuits with single-fan-out unreliable gates.

Amílcar Sernadas, João Rasga, Cristina Sernadas, Paulo Mateus

J. Log. Comput., 2014

2013

Importing Logics: Soundness and Completeness Preservation.

João Rasga, Amílcar Sernadas, Cristina Sernadas

Stud Logica, 2013

Completeness and interpolation of almost-everywhere quantification over finitely additive measures.

João Rasga, Wafik Boulos Lotfallah, Cristina Sernadas

Math. Log. Q., 2013

Preservation of Craig interpolation by the product of matrix logics.

Cristina Sernadas, João Rasga, Amílcar Sernadas

J. Appl. Log., 2013

2012

Importing Logics.

João Rasga, Amílcar Sernadas, Cristina Sernadas

Stud Logica, 2012

On meet-combination of logics.

Amílcar Sernadas, Cristina Sernadas, João Rasga

J. Log. Comput., 2012

2011

On Combined Connectives.

Amílcar Sernadas, Cristina Sernadas, João Rasga

Logica Universalis, 2011

Preservation by fibring of the finite model property.

Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas

J. Log. Comput., 2011

2010

Fusion of sequent modal logic systems labelled with truth values.

João Rasga, Karina Girardi Roggia, Cristina Sernadas

Log. J. IGPL, 2010

2009

Interpolation via translations.

João Rasga, Walter Alexandre Carnielli, Cristina Sernadas

Math. Log. Q., 2009

On Graph-theoretic Fibring of Logics.

Amílcar Sernadas, Cristina Sernadas, João Rasga, Marcelo E. Coniglio

J. Log. Comput., 2009

A Graph-theoretic Account of Logics.

Amílcar Sernadas, Cristina Sernadas, João Rasga, Marcelo E. Coniglio

J. Log. Comput., 2009

2008

Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification.

Luís Cruz-Filipe, João Rasga, Amílcar Sernadas, Cristina Sernadas

J. Log. Comput., 2008

Preservation of Interpolation Features by Fibring.

Walter Alexandre Carnielli, João Rasga, Cristina Sernadas

J. Log. Comput., 2008

Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems.

Luís Cruz-Filipe, Amílcar Sernadas, Cristina Sernadas

Log. J. IGPL, 2008

2006

Quantum Institutions.

Carlos Caleiro, Paulo Mateus, Amílcar Sernadas, Cristina Sernadas

Proceedings of the Algebra, Meaning, and Computation, 2006

2005

Modal Sequent Calculi Labelled with Truth Values: Cut Elimination.

Paulo Mateus, João Rasga, Cristina Sernadas

Log. J. IGPL, 2005

Fibring Logics: Past, Present and Future.

Carlos Caleiro, Amílcar Sernadas, Cristina Sernadas

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005

2004

Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity.

Paulo Mateus, Amílcar Sernadas, Cristina Sernadas, Luca Viganò

Log. J. IGPL, 2004

2003

Categorical foundations for randomly timed automata.

Paulo Mateus, Manuel Cabral Morais, Cláudia Nunes, António Pacheco, Amílcar Sernadas, Cristina Sernadas

Theor. Comput. Sci., 2003

Fibring Logics with Topos Semantics.

Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas

J. Log. Comput., 2003

Fibring Non-Truth-Functional Logics: Completeness Preservation.

Carlos Caleiro, Walter Alexandre Carnielli, Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas

J. Log. Lang. Inf., 2003

Truth-values as Labels: A General Recipe for Labelled Deduction.

Cristina Sernadas, Luca Viganò, João Rasga, Amílcar Sernadas

J. Appl. Non Class. Logics, 2003

2002

Fibring Labelled Deduction Systems.

João Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò

J. Log. Comput., 2002

Modulated Fibring and The Collapsing Problem.

Cristina Sernadas, João Rasga, Walter Alexandre Carnielli

J. Symb. Log., 2002

A two-level temporal logic for evolving specifications.

Pierre-Yves Schobbens, Gunter Saake, Amílcar Sernadas, Cristina Sernadas

Inf. Process. Lett., 2002

Fibring Modal First-Order Logics: Completeness Preservation.

Amílcar Sernadas, Cristina Sernadas, Alberto Zanardo

Log. J. IGPL, 2002

Labelled Deduction over Algebras of Truth-Values.

João Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò

Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002

2001

Fibring: Completeness Preservation.

Alberto Zanardo, Amílcar Sernadas, Cristina Sernadas

J. Symb. Log., 2001

Probabilistic Situation Calculus.

Paulo Mateus, António Pacheco, Javier Pinto, Amílcar Sernadas, Cristina Sernadas

Ann. Math. Artif. Intell., 2001

2000

Non-Determinism and Uncertainty in the Situation Calculus.

Javier Pinto, Amílcar Sernadas, Cristina Sernadas, Paulo Mateus

Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2000

1999

Precategories for combining probabilistic automata.

Paulo Mateus, Amílcar Sernadas, Cristina Sernadas

Proceedings of the Conference on Category Theory and Computer Science, 1999

Fibring of Logics as a Categorial Construction.

Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro

J. Log. Comput., 1999

Realization of Probabilistic Automata: Categorial Approach.

Paulo Mateus, Amílcar Sernadas, Cristina Sernadas

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

Nondeterminism and Uncertainty in the Situation Calculus.

Javier Pinto, Amílcar Sernadas, Cristina Sernadas, Paulo Mateus

Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference, 1999

1998

Denotational Semantics of Object Specification.

Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro

Acta Informatica, 1998

Parameterisation of Logics.

Carlos Caleiro, Cristina Sernadas, Amílcar Sernadas

Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

Categorial Fibring of Logics with Terms and Binding Operators.

Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro, Till Mossakowski

Proceedings of the Frontiers of Combining Systems, Second International Workshop, 1998

Evolving Logical Specification in Information Systems.

Stefan Conrad, Jaime Ramos, Gunter Saake, Cristina Sernadas

Proceedings of the Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1998

Abductive Reasoning over Temporal Specifications of Objects.

Paula Gouveia, Cristina Sernadas

Proceedings of the Advances in Modal Logic 2, 1998

1997

Synchronization of Logics.

Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro

Stud Logica, 1997

Synchronization of Logics with Mixed Rules: Completeness Preservation.

Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

TROLL - A Language for Object-Oriented Specification of Information Systems.

Ralf Jungclaus, Gunter Saake, Thorsten Hartmann, Cristina Sernadas

ACM Trans. Inf. Syst., 1996

A Temporal Logic Approach to Object Certification.

Amílcar Sernadas, Cristina Sernadas, Jaime Ramos

Data Knowl. Eng., 1996

1995

Object Specification Logic.

Amílcar Sernadas, Cristina Sernadas, José Félix Costa

J. Log. Comput., 1995

1994

Object Inheritance Beyond Subtyping.

José Félix Costa, Amílcar Sernadas, Cristina Sernadas

Acta Informatica, 1994

Object Certification (Invited Lecture).

Amílcar Sernadas, Cristina Sernadas

Proceedings of the Fith International Workshop on the Deductive Approach to Information Systems and Databases, 1994

A Theory-based Typological Notion of Institutions.

Amílcar Sernadas, Cristina Sernadas, José Manuel Valença

Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994

1993

Data Encapsulation and Modularity: Three Views of Inheritance.

José Félix Costa, Amílcar Sernadas, Cristina Sernadas

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

Reasoning Aspects in Information Systems and Databases.

Paula Gouveia, Cristina Sernadas

Proceedings of the Fourth International Workshop on the Deductive Approach to Information Systems and Databases, 1993

1992

Object Interaction.

José Félix Costa, Amílcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich

Proceedings of the Mathematical Foundations of Computer Science 1992, 1992

Refinement: Layered Definition of Conceptual Schemata.

Cristina Sernadas, Paula Gouveia, Amílcar Sernadas

Proceedings of the Information System Concepts: Improving the Understanding, 1992

An Institution of Object Behaviour.

Amílcar Sernadas, José Félix Costa, Cristina Sernadas

Proceedings of the Recent Trends in Data Type Specification, 1992

The Reification Dimension in Object-oriented Data Base Design.

Cristina Sernadas, Paula Gouveia, João Gouveia, Amílcar Sernadas, Pedro Resende

Proceedings of the Specifications of Database Systems, 1992

1991

Towards object-oriented conceptual modeling.

Cristina Sernadas, José Luiz Fiadeiro

Data Knowl. Eng., 1991

Abstract Data Type Semantics for Many-Sorted Object Query Algebras.

Gunter Saake, Ralf Jungclaus, Cristina Sernadas

Proceedings of the MFDBS 91, 1991

Gentzen-Type System for Verification in Conceptual Modeling.

Cristina Sernadas, Paula Gouveia, Antónia Lopes

Proceedings of the Third Workshop on Foundations of Models and Languages for Data and Objects, 1991

1990

Modular construction of logic knowledge bases: an algebraic approach.

Cristina Sernadas, José Luiz Fiadeiro, Amílcar Sernadas

Inf. Syst., 1990

From Data Types to Object Types.

Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas

J. Inf. Process. Cybern., 1990

An object-oriented specification tool for graphical interfaces.

João Pedro Sousa, Cristina Sernadas, Amílcar Sernadas

Comput. Graph., 1990

Proof-Theoretic Semantics of Object-Oriented Specification Constructs.

José Luiz Fiadeiro, Cristina Sernadas, T. S. E. Maibaum, Gunter Saake

Proceedings of the Object-Oriented Databases: Analysis, 1990

Objects as Structuring Units for Incorporating Dynamics in Deductive Conceptual Modeling.

Cristina Sernadas, Paula Gouveia, Luísa Silva, Antónia Lopes

Proceedings of the International Workshop on the Deductive Approach to Information Systems and Databases, 1990

1989

The Basic Building Blocks of Information Systems.

Amílcar Sernadas, José Luiz Fiadeiro, Cristina Sernadas, Hans-Dieter Ehrich

Proceedings of the Information System Concepts: An In-depth Analysis, 1989

Proof-theoretic Conceptual Modeling: the NIAM Case Study.

Cristina Sernadas, José Luiz Fiadeiro, Robert Meersman, Amílcar Sernadas

Proceedings of the Information System Concepts: An In-depth Analysis, 1989

1988

Abstract Object Types for Databases.

Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas

Proceedings of the Advances in Object-Oriented Database Systems, 1988

Knowledgebases as Structured Theories.

José Luiz Fiadeiro, Amílcar Sernadas, Cristina Sernadas

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1988

Object-Oriented Conceptual Modeling from Law.

Cristina Sernadas, José Luiz Fiadeiro, Amílcar Sernadas

Proceedings of the IFIP TC2/TC8/WG 2.6/WG 8.1 Working Conference on the Role of Artificial Intelligence in Databases and Information Systems, 1988

Objects, Object Types, and Object Identification.

Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas

Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988

Objects and Object Types.

Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas

Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988

1987

The Role of Conceptual Modelling Abstractions in Compiler Development.

Cristina Sernadas, Rogério Carapuça

Comput. J., 1987

Communication knowledge systems. Part II - big talk among small systems.

Cristina Sernadas, Helder Coelho, Graça Gaspar

Appl. Artif. Intell., 1987

Communication knowledge systems: Part I - Big talk among small systems.

Cristina Sernadas, Helder Coelho, Graça Gaspar

Appl. Artif. Intell., 1987

Object-Oriented Specification of Databases: An Algebraic Approach.

Amílcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich

Proceedings of the VLDB'87, 1987

Abstract Object Types: A Temporal Perspective.

Amílcar Sernadas, José Luiz Fiadeiro, Cristina Sernadas, Hans-Dieter Ehrich

Proceedings of the Temporal Logic in Specification, 1987

1986

Algebraic Knowledge Representation: The Unification of Procedure, Logic and Structure.

Amílcar Sernadas, Cristina Sernadas, José Luiz Fiadeiro

Proceedings of the 4st Workshop on Abstract Data Type, 1986

1985

The Use of E-R Abstractions for Knowledge Representation.

Amílcar Sernadas, Cristina Sernadas

Proceedings of the Entity-Relationship Approach: The Use of ER Concept in Knowledge Representation, 1985

Conceptual Modeling Abstraction Mechanisms as Parameterized Theories in Institutions.

Cristina Sernadas, Amílcar Sernadas

Proceedings of the IFIP WG 2.6 Working Conference on Data Semantics (DS-1). Hasselt, 1985

Abstraction and Inference Mechanism for Knowledge Representation.

Amílcar Sernadas, Cristina Sernadas

Proceedings of the Foundations of Knowledge Base Management: Contributions from Logic, 1985