Maria Cristina Sales Viana Serôdio Sernadas


AuthID: R-000-ATN

Confirmed Publications: 83



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

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service