Amilcar dos Santos Costa Sernadas


AuthID: R-000-0HS

Confirmed Publications: 88



31
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 | ResearcherID
32
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
33
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
34
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
35
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: ORCID | ResearcherID
36
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: ORCID | ResearcherID
37
TITLE: Labelled Deduction over Algebras of Truth-Values*
AUTHORS: João Rasga; Amílcar Sernadas ; Cristina Sernadas ; Luca Viganò;
PUBLISHED: 2002, SOURCE: Frontiers of Combining Systems - Lecture Notes in Computer Science
INDEXED IN: CrossRef
38
TITLE: Combining logics: Parchments revisited
AUTHORS: Caleiro, C ; Mateus, P ; Ramos, J ; Sernadas, A ;
PUBLISHED: 2001, SOURCE: 15th International Workshop on Algebraic Development Techniques/General Workshop of the ESPRIT Working Group CoFI in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 2267
INDEXED IN: WOS
IN MY: ORCID | ResearcherID
39
TITLE: Fibring: Completeness preservation
AUTHORS: Zanardo, A; Sernadas, A ; Sernadas, C ;
PUBLISHED: 2001, SOURCE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 66, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
40
TITLE: Probabilistic situation calculus  Full Text
AUTHORS: Mateus, P ; Pacheco, A ; Pinto, J; Sernadas, A ; Sernadas, C ;
PUBLISHED: 2001, SOURCE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, VOLUME: 32, ISSUE: 1-4
INDEXED IN: Scopus WOS CrossRef: 14
IN MY: ORCID | ResearcherID
Page 4 of 9. Total results: 88.

A place for researchers and their institutions

Useful Links

Get Help

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