Maria Cristina Sales Viana Serôdio Sernadas


AuthID: R-000-ATN

Publicações Confirmadas: 83



11
TÍTULO: Temporal logics for reasoning about quantum systems
AUTORES: Mateus, P ; Ramos, J; Sernadas, A ; Sernadas, C ;
PUBLICAÇÃO: 2013, FONTE: Semantic Techniques in Quantum Computation
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
12
TÍTULO: Importing Logics  Full Text
AUTORES: Rasga, J ; Sernadas, A ; Sernadas, C ;
PUBLICAÇÃO: 2012, FONTE: STUDIA LOGICA, VOLUME: 100, NÚMERO: 3
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
13
TÍTULO: On meet-combination of logics
AUTORES: Sernadas, A ; Sernadas, C ; Rasga, J ;
PUBLICAÇÃO: 2012, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 22, NÚMERO: 6
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
14
TÍTULO: On Combined Connectives  Full Text
AUTORES: Sernadas, A ; Sernadas, C ; Rasga, J ;
PUBLICAÇÃO: 2011, FONTE: Logica Universalis, VOLUME: 5, NÚMERO: 2
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
15
TÍTULO: Preservation by fibring of the finite model property
AUTORES: Coniglio, ME; Sernadas, A ; Sernadas, C ;
PUBLICAÇÃO: 2011, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 21, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
16
TÍTULO: Fusion of sequent modal logic systems labelled with truth values  Full Text
AUTORES: Joao Rasga ; Karina Roggia; Cristina Sernadas ;
PUBLICAÇÃO: 2010, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 18, NÚMERO: 6
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
17
TÍTULO: A Graph-theoretic Account of Logics
AUTORES: Amilcar Sernadas ; Cristina Sernadas ; Joao Rasga ; Marcelo Coniglio;
PUBLICAÇÃO: 2009, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 19, NÚMERO: 6
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
18
TÍTULO: Extending Classical Logic for Reasoning About Quantum Systems
AUTORES: Chadha, R; Mateus, P ; Sernadas, A ; Sernadas, C ;
PUBLICAÇÃO: 2009, FONTE: Handbook of Quantum Logic and Quantum Structures
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
19
TÍTULO: Interpolation via translations  Full Text
AUTORES: Joao Rasga ; Walter Carnielli; Cristina Sernadas ;
PUBLICAÇÃO: 2009, FONTE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 55, NÚMERO: 5
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
20
TÍTULO: On Graph-theoretic Fibring of Logics
AUTORES: Amilcar Sernadas ; Cristina Sernadas ; Joao Rasga ; Marcelo Coniglio;
PUBLICAÇÃO: 2009, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 19, NÚMERO: 6
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
Página 2 de 9. Total de resultados: 83.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service