Cristina Sernadas

93 papers A* 1A 1B 3C 3Misc 1Journal 57Unranked 26

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