Cristina Sernadas

Publication Activity (10 Years)

Years Active: 1985-2023
Publications (10 Years): 11

Top Topics

Propositional Logic

Temporal Constraints

Expressive Power

Optimization Problems

Top Venues

J. Log. Comput.

Logica Universalis

Publications

Jaime Ramos, João Rasga, Cristina Sernadas
Conservative Translations Revisited. J. Philos. Log. 52 (3) (2023)
João Rasga, Cristina Sernadas
Adding abductive reasoning to a propositional logic. J. Log. Comput. 32 (4) (2022)
João Rasga, Cristina Sernadas, Erisa Karafili, Luca Viganò
Time-stamped claim logic. Log. J. IGPL 29 (3) (2021)
Jaime Ramos, João Rasga, Cristina Sernadas, Luca Viganò
Event-Based Time-Stamped Claim Logic. J. Log. Algebraic Methods Program. 121 (2021)
João Rasga, Cristina Sernadas, Walter Carnielli
Reduction Techniques for Proving Decidability in Logics and their Meet-Combination. Bull. Symb. Log. 27 (1) (2021)
Jaime Ramos, João Rasga, Cristina Sernadas
Essential Structure of Proofs as a Measure of Complexity. Logica Universalis 14 (2) (2020)
João Rasga, Cristina Sernadas, Erisa Karafili, Luca Viganò
Time-Stamped Claim Logic. CoRR (2019)
Amílcar Sernadas, João Rasga, Cristina Sernadas, Luís Alcácer, Alfredo Barbosa Henriques
Probabilistic logic of quantum observations. Log. J. IGPL 27 (3) (2019)
João Rasga, Cristina Sernadas, Paulo Mateus, Amílcar Sernadas
Decision and optimization problems in the unreliable-circuit logic. Log. J. IGPL 25 (3) (2017)
João Rasga, Cristina Sernadas, Paulo Mateus, Amílcar Sernadas
Decision and optimization problems in the Unreliable-Circuit Logic. CoRR (2016)
João Rasga, Cristina Sernadas, Amílcar Sernadas
Preservation of Admissible Rules when Combining Logics. Rev. Symb. Log. 9 (4) (2016)
João Rasga, Cristina Sernadas, Amílcar Sernadas
Craig Interpolation in the Presence of Unreliable Connectives. Logica Universalis 8 (3-4) (2014)
João Rasga, Amílcar Sernadas, Cristina Sernadas
Fibring as Biporting Subsumes Asymmetric Combinations. Stud Logica 102 (5) (2014)
Amílcar Sernadas, João Rasga, Cristina Sernadas, Paulo Mateus
Approximate reasoning about logic circuits with single-fan-out unreliable gates. J. Log. Comput. 24 (5) (2014)
João Rasga, Amílcar Sernadas, Cristina Sernadas
Importing Logics: Soundness and Completeness Preservation. Stud Logica 101 (1) (2013)
Cristina Sernadas, João Rasga, Amílcar Sernadas
Preservation of Craig interpolation by the product of matrix logics. J. Appl. Log. 11 (3) (2013)
João Rasga, Wafik Boulos Lotfallah, Cristina Sernadas
Completeness and interpolation of almost-everywhere quantification over finitely additive measures. Math. Log. Q. 59 (4-5) (2013)
Amílcar Sernadas, Cristina Sernadas, João Rasga
On meet-combination of logics. J. Log. Comput. 22 (6) (2012)
João Rasga, Amílcar Sernadas, Cristina Sernadas
Importing Logics. Stud Logica 100 (3) (2012)
Amílcar Sernadas, Cristina Sernadas, João Rasga
On Combined Connectives. Logica Universalis 5 (2) (2011)
Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas
Preservation by fibring of the finite model property. J. Log. Comput. 21 (2) (2011)
João Rasga, Karina Girardi Roggia, Cristina Sernadas
Fusion of sequent modal logic systems labelled with truth values. Log. J. IGPL 18 (6) (2010)
Amílcar Sernadas, Cristina Sernadas, João Rasga, Marcelo E. Coniglio
A Graph-theoretic Account of Logics. J. Log. Comput. 19 (6) (2009)
João Rasga, Walter Alexandre Carnielli, Cristina Sernadas
Interpolation via translations. Math. Log. Q. 55 (5) (2009)
Amílcar Sernadas, Cristina Sernadas, João Rasga, Marcelo E. Coniglio
On Graph-theoretic Fibring of Logics. J. Log. Comput. 19 (6) (2009)
Walter Alexandre Carnielli, João Rasga, Cristina Sernadas
Preservation of Interpolation Features by Fibring. J. Log. Comput. 18 (1) (2008)
Luís Cruz-Filipe, Amílcar Sernadas, Cristina Sernadas
Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems. Log. J. IGPL 16 (2) (2008)
Luís Cruz-Filipe, João Rasga, Amílcar Sernadas, Cristina Sernadas
Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification. J. Log. Comput. 18 (6) (2008)
Carlos Caleiro, Paulo Mateus, Amílcar Sernadas, Cristina Sernadas
Quantum Institutions. Essays Dedicated to Joseph A. Goguen (2006)
Paulo Mateus, João Rasga, Cristina Sernadas
Modal Sequent Calculi Labelled with Truth Values: Cut Elimination. Log. J. IGPL 13 (2) (2005)
Carlos Caleiro, Amílcar Sernadas, Cristina Sernadas
Fibring Logics: Past, Present and Future. We Will Show Them! (1) (2005)
Paulo Mateus, Amílcar Sernadas, Cristina Sernadas, Luca Viganò
Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity. Log. J. IGPL 12 (3) (2004)
Cristina Sernadas, Luca Viganò, João Rasga, Amílcar Sernadas
Truth-values as Labels: A General Recipe for Labelled Deduction. J. Appl. Non Class. Logics 13 (3-4) (2003)
Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas
Fibring Logics with Topos Semantics. J. Log. Comput. 13 (4) (2003)
Carlos Caleiro, Walter Alexandre Carnielli, Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas
Fibring Non-Truth-Functional Logics: Completeness Preservation. J. Log. Lang. Inf. 12 (2) (2003)
Paulo Mateus, Manuel Cabral Morais, Cláudia Nunes, António Pacheco, Amílcar Sernadas, Cristina Sernadas
Categorical foundations for randomly timed automata. Theor. Comput. Sci. 308 (1-3) (2003)
João Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò
Labelled Deduction over Algebras of Truth-Values. FroCoS (2002)
Amílcar Sernadas, Cristina Sernadas, Alberto Zanardo
Fibring Modal First-Order Logics: Completeness Preservation. Log. J. IGPL 10 (4) (2002)
Cristina Sernadas, João Rasga, Walter Alexandre Carnielli
Modulated Fibring and The Collapsing Problem. J. Symb. Log. 67 (4) (2002)
Pierre-Yves Schobbens, Gunter Saake, Amílcar Sernadas, Cristina Sernadas
A two-level temporal logic for evolving specifications. Inf. Process. Lett. 83 (3) (2002)
João Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò
Fibring Labelled Deduction Systems. J. Log. Comput. 12 (3) (2002)
Alberto Zanardo, Amílcar Sernadas, Cristina Sernadas
Fibring: Completeness Preservation. J. Symb. Log. 66 (1) (2001)
Paulo Mateus, António Pacheco, Javier Pinto, Amílcar Sernadas, Cristina Sernadas
Probabilistic Situation Calculus. Ann. Math. Artif. Intell. 32 (1-4) (2001)
Javier Pinto, Amílcar Sernadas, Cristina Sernadas, Paulo Mateus
Non-Determinism and Uncertainty in the Situation Calculus. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 8 (2) (2000)
Paulo Mateus, Amílcar Sernadas, Cristina Sernadas
Realization of Probabilistic Automata: Categorial Approach. WADT (1999)
Paulo Mateus, Amílcar Sernadas, Cristina Sernadas
Precategories for combining probabilistic automata. CTCS (1999)
Javier Pinto, Amílcar Sernadas, Cristina Sernadas, Paulo Mateus
Nondeterminism and Uncertainty in the Situation Calculus. FLAIRS Conference (1999)
Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro
Fibring of Logics as a Categorial Construction. J. Log. Comput. 9 (2) (1999)
Carlos Caleiro, Cristina Sernadas, Amílcar Sernadas
Parameterisation of Logics. WADT (1998)
Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro, Till Mossakowski
Categorial Fibring of Logics with Terms and Binding Operators. FroCoS (1998)
Paula Gouveia, Cristina Sernadas
Abductive Reasoning over Temporal Specifications of Objects. Advances in Modal Logic (1998)
Stefan Conrad, Jaime Ramos, Gunter Saake, Cristina Sernadas
Evolving Logical Specification in Information Systems. Logics for Databases and Information Systems (1998)
Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro
Denotational Semantics of Object Specification. Acta Informatica 35 (9) (1998)
Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro
Synchronization of Logics with Mixed Rules: Completeness Preservation. AMAST (1997)
Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro
Synchronization of Logics. Stud Logica 59 (1) (1997)
Amílcar Sernadas, Cristina Sernadas, Jaime Ramos
A Temporal Logic Approach to Object Certification. Data Knowl. Eng. 19 (3) (1996)
Ralf Jungclaus, Gunter Saake, Thorsten Hartmann, Cristina Sernadas
TROLL - A Language for Object-Oriented Specification of Information Systems. ACM Trans. Inf. Syst. 14 (2) (1996)
Amílcar Sernadas, Cristina Sernadas, José Félix Costa
Object Specification Logic. J. Log. Comput. 5 (5) (1995)
Amílcar Sernadas, Cristina Sernadas, José Manuel Valença
A Theory-based Typological Notion of Institutions. COMPASS/ADT (1994)
José Félix Costa, Amílcar Sernadas, Cristina Sernadas
Object Inheritance Beyond Subtyping. Acta Informatica 31 (1) (1994)
Amílcar Sernadas, Cristina Sernadas
Object Certification (Invited Lecture). DAISD (1994)
José Félix Costa, Amílcar Sernadas, Cristina Sernadas
Data Encapsulation and Modularity: Three Views of Inheritance. MFCS (1993)
Paula Gouveia, Cristina Sernadas
Reasoning Aspects in Information Systems and Databases. DAISD (1993)
Amílcar Sernadas, José Félix Costa, Cristina Sernadas
An Institution of Object Behaviour. COMPASS/ADT (1992)
Cristina Sernadas, Paula Gouveia, Amílcar Sernadas
Refinement: Layered Definition of Conceptual Schemata. ISCO (1992)
José Félix Costa, Amílcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich
Object Interaction. MFCS (1992)
Cristina Sernadas, José Luiz Fiadeiro
Towards object-oriented conceptual modeling. Data Knowl. Eng. 6 (1991)
Gunter Saake, Ralf Jungclaus, Cristina Sernadas
Abstract Data Type Semantics for Many-Sorted Object Query Algebras. MFDBS (1991)
Cristina Sernadas, Paula Gouveia, Antónia Lopes
Gentzen-Type System for Verification in Conceptual Modeling. FMLDO (1991)
Cristina Sernadas, Paula Gouveia, Luísa Silva, Antónia Lopes
Objects as Structuring Units for Incorporating Dynamics in Deductive Conceptual Modeling. DAISD (1990)
Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas
From Data Types to Object Types. J. Inf. Process. Cybern. 26 (1/2) (1990)
João Pedro Sousa, Cristina Sernadas, Amílcar Sernadas
An object-oriented specification tool for graphical interfaces. Comput. Graph. 14 (1) (1990)
Cristina Sernadas, José Luiz Fiadeiro, Amílcar Sernadas
Modular construction of logic knowledge bases: an algebraic approach. Inf. Syst. 15 (1) (1990)
José Luiz Fiadeiro, Cristina Sernadas, T. S. E. Maibaum, Gunter Saake
Proof-Theoretic Semantics of Object-Oriented Specification Constructs. DS-4 (1990)
Cristina Sernadas, José Luiz Fiadeiro, Robert Meersman, Amílcar Sernadas
Proof-theoretic Conceptual Modeling: the NIAM Case Study. ISCO (1989)
Amílcar Sernadas, José Luiz Fiadeiro, Cristina Sernadas, Hans-Dieter Ehrich
The Basic Building Blocks of Information Systems. ISCO (1989)
Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas
Objects, Object Types, and Object Identification. Categorial Methods in Computer Science (1988)
Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas
Objects and Object Types. ADT (1988)
Cristina Sernadas, José Luiz Fiadeiro, Amílcar Sernadas
Object-Oriented Conceptual Modeling from Law. DS-3 (1988)
Hans-Dieter Ehrich, Amílcar Sernadas, Cristina Sernadas
Abstract Object Types for Databases. OODBS (1988)
José Luiz Fiadeiro, Amílcar Sernadas, Cristina Sernadas
Knowledgebases as Structured Theories. FSTTCS (1988)
Cristina Sernadas, Helder Coelho, Graça Gaspar
Communication knowledge systems: Part I - Big talk among small systems. Appl. Artif. Intell. 1 (3) (1987)
Cristina Sernadas, Helder Coelho, Graça Gaspar
Communication knowledge systems. Part II - big talk among small systems. Appl. Artif. Intell. 1 (4) (1987)
Amílcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich
Object-Oriented Specification of Databases: An Algebraic Approach. VLDB (1987)
Cristina Sernadas, Rogério Carapuça
The Role of Conceptual Modelling Abstractions in Compiler Development. Comput. J. 30 (4) (1987)
Amílcar Sernadas, José Luiz Fiadeiro, Cristina Sernadas, Hans-Dieter Ehrich
Abstract Object Types: A Temporal Perspective. Temporal Logic in Specification (1987)
Amílcar Sernadas, Cristina Sernadas, José Luiz Fiadeiro
Algebraic Knowledge Representation: The Unification of Procedure, Logic and Structure. ADT (1986)
Cristina Sernadas, Amílcar Sernadas
Conceptual Modeling Abstraction Mechanisms as Parameterized Theories in Institutions. DS-1 (1985)
Amílcar Sernadas, Cristina Sernadas
The Use of E-R Abstractions for Knowledge Representation. ER (1985)
Amílcar Sernadas, Cristina Sernadas
Abstraction and Inference Mechanism for Knowledge Representation. Foundations of Knowledge Base Management (Xania) (1985)