ResearcherID Thomson Reuters  

Sernadas, Amilcar
Create a ResearcherID badge for this researcher View publications analytics for this researcher
Close
ResearcherID: C-5518-2008
Other Names: A Sernadas; Amílcar Sernadas
E-mail:
URL: http://www.researcherid.com/rid/C-5518-2008
Subject: Mathematics
Keywords: mathematical logic; logic in computer science
ORCID: http://orcid.org/0000-0001-7895-8436
My Institutions (more details)
Primary Institution:
Sub-org/Dept: Dept Mathematics
Role:
Joint Affiliation:
Sub-org/Dept: SQIG
Role:
Description:
My URLs: http://sqig.math.ist.utl.pt/amilcar.sernadas
 
 

This list contains papers that I have authored.

publication(s)  
First Page Previous Page Page   of  6  Go Next Page Last Page
  Sort by:    Results per page: 
1.  Title: STRUCTURING THEORIES ON CONSEQUENCE
 Author(s): FIADEIRO, J; SERNADAS, A
 Source: LECTURE NOTES IN COMPUTER SCIENCE Volume: 332 Pages: 44-72 Published: 1988
 Times Cited: 44
added
25-Nov-08
2.  Title: TEMPORAL ASPECTS OF LOGICAL PROCEDURE DEFINITION
 Author(s): SERNADAS, A
 Source: INFORMATION SYSTEMS Volume: 5 Issue: 3 Pages: 167-187 Published: 1980
 Times Cited: 40
added
25-Nov-08
3.  Title: Fibring of logics as a categorial construction
 Author(s): SERNADAS, A; SERNADAS, C; CALEIRO, C
 Source: JOURNAL OF LOGIC AND COMPUTATION Volume: 9 Issue: 2 Pages: 149-179 Published: APR 1999
 Times Cited: 38
added
25-Nov-08
4.  Title: Fibring: Completeness preservation
 Author(s): ZANARDO, A; SERNADAS, A; SERNADAS, C
 Source: JOURNAL OF SYMBOLIC LOGIC Volume: 66 Issue: 1 Pages: 414-439 Published: MAR 2001
 Times Cited: 35
added
25-Nov-08
5.  Title: Object specification logic
 Author(s): SERNADAS, A; SERNADAS, C; COSTA, JF
 Source: JOURNAL OF LOGIC AND COMPUTATION Volume: 5 Issue: 5 Pages: 603-630 Published: OCT 1995
 Times Cited: 19
added
25-Nov-08
6.  Title: Weakly complete axiomatization of exogenous quantum propositional logic
 Author(s): MATEUS, P; SERNADAS, A
 Source: INFORMATION AND COMPUTATION Volume: 204 Issue: 5 Pages: 771-794 Published: MAY 2006
 Times Cited: 17
 DOI: 10.1016/j.ic.2006.02.001
added
25-Nov-08
7.  Title: Probabilistic situation calculus
 Author(s): MATEUS, P; PACHECO, A; PINTO, J; et al.
 Source: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE Volume: 32 Issue: 1-4 Pages: 393-431 Published: 2001
 Times Cited: 13
added
25-Nov-08
8.  Title: THE INFOLOG LINEAR TENSE PROPOSITIONAL LOGIC OF EVENTS AND TRANSACTIONS
 Author(s): FIADEIRO, J; SERNADAS, A
 Source: INFORMATION SYSTEMS Volume: 11 Issue: 1 Pages: 61-85 Published: 1986
 Times Cited: 13
added
25-Nov-08
9.  Title: Fibring model first-order logics: Completeness preservation
 Author(s): SERNADAS, A; SERNADAS, C; ZANARDO, A
 Source: LOGIC JOURNAL OF THE IGPL Volume: 10 Issue: 4 Pages: 413-451 Published: JUL 2002
 Times Cited: 12
added
25-Nov-08
10.  Title: Fibring labelled deduction systems
 Author(s): RASGA, J; SERNADAS, A; SERNADAS, C; et al.
 Source: JOURNAL OF LOGIC AND COMPUTATION Volume: 12 Issue: 3 Pages: 443-473 Published: JUN 2002
 Times Cited: 12
 DOI: UNSP 120443.sgm
added
25-Nov-08
publication(s)  
First Page Previous Page Page   of  6  Go Next Page Last Page
  Sort by:    Results per page: