Maria Cristina Sales Viana Serôdio Sernadas


AuthID: R-000-ATN

Confirmed Publications: 83



31
TITLE: Modal sequent calculi labelled with truth values: Completeness, duality and analyticity  Full Text
AUTHORS: Paulo Mateus ; Amilcar Sernadas ; Cristina Sernadas ; Luca Vigano;
PUBLISHED: 2004, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 12, ISSUE: 3
INDEXED IN: WOS CrossRef
IN MY: ResearcherID
32
TITLE: Categorical foundations for randomly timed automata  Full Text
AUTHORS: Mateus, P ; Morais, M ; Nunes, C ; Pacheco, A ; Sernadas, A ; Sernadas, C ;
PUBLISHED: 2003, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 308, ISSUE: 1-3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
33
TITLE: Fibring logics with topos semantics
AUTHORS: Coniglio, ME; Sernadas, AC ; Sernadas, CS ;
PUBLISHED: 2003, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 13, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
34
TITLE: Fibring Non-Truth-Functional Logics: Completeness Preservation
AUTHORS: Carlos Caleiro; Walter Alexandre Carnielli; Marcelo E Coniglio; Amílcar Sernadas; Cristina Sernadas ;
PUBLISHED: 2003, SOURCE: Journal of Logic, Language and Information, VOLUME: 12, ISSUE: 2
INDEXED IN: DBLP
35
TITLE: Truth-values as labels: A general recipe for labelled deduction
AUTHORS: Sernadas, C ; Vigano, L; Rasga, J ; Sernadas, A ;
PUBLISHED: 2003, SOURCE: Journal of Applied Non-Classical Logics, VOLUME: 13, ISSUE: 3-4
INDEXED IN: Scopus CrossRef
IN MY: ORCID
36
TITLE: A two-level temporal logic for evolving specifications  Full Text
AUTHORS: Schobbens, PY; Saake, G; Sernadas, A ; Sernadas, C ;
PUBLISHED: 2002, SOURCE: INFORMATION PROCESSING LETTERS, VOLUME: 83, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
37
TITLE: Fibring labelled deduction systems
AUTHORS: Rasga, J ; Sernadas, A ; Sernadas, C ; Vigano, L;
PUBLISHED: 2002, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 12, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
38
TITLE: Fibring model first-order logics: Completeness preservation  Full Text
AUTHORS: Sernadas, A ; Sernadas, C ; Zanardo, A;
PUBLISHED: 2002, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 10, ISSUE: 4
INDEXED IN: WOS CrossRef
IN MY: ResearcherID
39
TITLE: Labelled deduction over algebras of truth-values
AUTHORS: Rasga, J; Sernadas, A ; Sernadas, C ; Vigano, L;
PUBLISHED: 2002, SOURCE: 4th International Workshop on Frontiers of Combining Systems in FRONTIERS OF COMBINING SYSTEMS, VOLUME: 2309
INDEXED IN: WOS
IN MY: ResearcherID
40
TITLE: Labelled deduction over algebras of truth-values
AUTHORS: Rasga, J; Sernadas, A; Sernadas, C ; Viganò, L;
PUBLISHED: 2002, SOURCE: 4th International Workshop on Frontiers of Combining Systems, FroCoS 2002 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2309
INDEXED IN: Scopus
IN MY: ORCID
Page 4 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