Cristina Sernadas

According to our database1, Cristina Sernadas authored at least 80 papers between 1985 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 





Decision and optimization problems in the unreliable-circuit logic.
Logic Journal of the IGPL, 2017

Preservation of Admissible Rules when Combining Logics.
Rew. Symb. Logic, 2016

Fibring as Biporting Subsumes Asymmetric Combinations.
Studia Logica, 2014

Craig Interpolation in the Presence of Unreliable Connectives.
Logica Universalis, 2014

Approximate reasoning about logic circuits with single-fan-out unreliable gates.
J. Log. Comput., 2014

Importing Logics: Soundness and Completeness Preservation.
Studia Logica, 2013

Completeness and interpolation of almost-everywhere quantification over finitely additive measures.
Math. Log. Q., 2013

Preservation of Craig interpolation by the product of matrix logics.
J. Applied Logic, 2013

Importing Logics.
Studia Logica, 2012

On meet-combination of logics.
J. Log. Comput., 2012

On Combined Connectives.
Logica Universalis, 2011

Preservation by fibring of the finite model property.
J. Log. Comput., 2011

Fusion of sequent modal logic systems labelled with truth values.
Logic Journal of the IGPL, 2010

Interpolation via translations.
Math. Log. Q., 2009

On Graph-theoretic Fibring of Logics.
J. Log. Comput., 2009

A Graph-theoretic Account of Logics.
J. Log. Comput., 2009

Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification.
J. Log. Comput., 2008

Preservation of Interpolation Features by Fibring.
J. Log. Comput., 2008

Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems.
Logic Journal of the IGPL, 2008

Quantum Institutions.
Proceedings of the Algebra, Meaning, and Computation, 2006

Modal Sequent Calculi Labelled with Truth Values: Cut Elimination.
Logic Journal of the IGPL, 2005

Fibring Logics: Past, Present and Future.
Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005

Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity.
Logic Journal of the IGPL, 2004

Categorical foundations for randomly timed automata.
Theor. Comput. Sci., 2003

Fibring Logics with Topos Semantics.
J. Log. Comput., 2003

Fibring Non-Truth-Functional Logics: Completeness Preservation.
Journal of Logic, Language and Information, 2003

Truth-values as Labels: A General Recipe for Labelled Deduction.
Journal of Applied Non-Classical Logics, 2003

Fibring Labelled Deduction Systems.
J. Log. Comput., 2002

Modulated Fibring and The Collapsing Problem.
J. Symb. Log., 2002

A two-level temporal logic for evolving specifications.
Inf. Process. Lett., 2002

Fibring Modal First-Order Logics: Completeness Preservation.
Logic Journal of the IGPL, 2002

Labelled Deduction over Algebras of Truth-Values.
Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002

Fibring: Completeness Preservation.
J. Symb. Log., 2001

Probabilistic Situation Calculus.
Ann. Math. Artif. Intell., 2001

Non-Determinism and Uncertainty in the Situation Calculus.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 2000

Precategories for combining probabilistic automata.
Electr. Notes Theor. Comput. Sci., 1999

Fibring of Logics as a Categorial Construction.
J. Log. Comput., 1999

Realization of Probabilistic Automata: Categorial Approach.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

Nondeterminism and Uncertainty in the Situation Calculus.
Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference, 1999

Denotational Semantics of Object Specification.
Acta Inf., 1998

Parameterisation of Logics.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

Evolving Logical Specification in Information Systems.
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.
Proceedings of the Advances in Modal Logic 2, 1998

Synchronization of Logics.
Studia Logica, 1997

Synchronization of Logics with Mixed Rules: Completeness Preservation.
Proceedings of the Algebraic Methodology and Software Technology, 1997

TROLL - A Language for Object-Oriented Specification of Information Systems.
ACM Trans. Inf. Syst., 1996

A Temporal Logic Approach to Object Certification.
Data Knowl. Eng., 1996

Object Specification Logic.
J. Log. Comput., 1995

Object Inheritance Beyond Subtyping.
Acta Inf., 1994

Object Certification (Invited Lecture).
DAISD, 1994

A Theory-based Typological Notion of Institutions.
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

Data Encapsulation and Modularity: Three Views of Inheritance.
Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

Reasoning Aspects in Information Systems and Databases.
DAISD, 1993

Object Interaction.
Proceedings of the Mathematical Foundations of Computer Science 1992, 1992

Refinement: Layered Definition of Conceptual Schemata.
Proceedings of the Information System Concepts: Improving the Understanding, 1992

An Institution of Object Behaviour.
Proceedings of the Recent Trends in Data Type Specification, 1992

Towards object-oriented conceptual modeling.
Data Knowl. Eng., 1991

Abstract Data Type Semantics for Many-Sorted Object Query Algebras.
Proceedings of the MFDBS 91, 1991

Gentzen-Type System for Verification in Conceptual Modeling.
Proceedings of the Third Workshop on Foundations of Models and Languages for Data and Objects, 1991

Modular construction of logic knowledge bases: an algebraic approach.
Inf. Syst., 1990

From Data Types to Object Types.
Elektronische Informationsverarbeitung und Kybernetik, 1990

An object-oriented specification tool for graphical interfaces.
Computers & Graphics, 1990

Proof-Theoretic Semantics of Object-Oriented Specification Constructs.
Proceedings of the Object-Oriented Databases: Analysis, 1990

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

The Basic Building Blocks of Information Systems.
Proceedings of the Information System Concepts: An In-depth Analysis, 1989

Proof-theoretic Conceptual Modeling: the NIAM Case Study.
Proceedings of the Information System Concepts: An In-depth Analysis, 1989

Abstract Object Types for Databases.
Proceedings of the Advances in Object-Oriented Database Systems, 1988

Knowledgebases as Structured Theories.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1988

Object-Oriented Conceptual Modeling from Law.
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.
Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988

Objects and Object Types.
ADT, 1988

The Role of Conceptual Modelling Abstractions in Compiler Development.
Comput. J., 1987

Communication knowledge systems. Part II - big talk among small systems.
Applied Artificial Intelligence, 1987

Communication knowledge systems: Part I - Big talk among small systems.
Applied Artificial Intelligence, 1987

Object-Oriented Specification of Databases: An Algebraic Approach.
Proceedings of the VLDB'87, 1987

Abstract Object Types: A Temporal Perspective.
Proceedings of the Temporal Logic in Specification, 1987

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

The Use of E-R Abstractions for Knowledge Representation.
Proceedings of the Entity-Relationship Approach: The Use of ER Concept in Knowledge Representation, 1985

Conceptual Modeling Abstraction Mechanisms as Parameterized Theories in Institutions.
Proceedings of the IFIP WG 2.6 Working Conference on Data Semantics (DS-1). Hasselt, 1985

Abstraction and Inference Mechanism for Knowledge Representation.
Foundations of Knowledge Base Management (Xania), 1985