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: 42
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: 41
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: 31
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: 30
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: 16
 DOI: 10.1016/j.ic.2006.02.001
added
25-Nov-08
7.  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: 14
added
25-Nov-08
8.  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
9.  Title: SPECIFICATION AND VERIFICATION OF DATABASE DYNAMICS
 Author(s): FIADEIRO, J; SERNADAS, A
 Source: ACTA INFORMATICA Volume: 25 Issue: 6 Pages: 625-661 Published: 1988
 Times Cited: 11
added
25-Nov-08
10.  Title: Reasoning about probabilistic sequential programs
 Author(s): CHADHA, R; CRUZ-FILIPE, L; MATEUS, P; et al.
 Source: THEORETICAL COMPUTER SCIENCE Volume: 379 Issue: 1-2 Pages: 142-165 Published: JUN 12 2007
 Times Cited: 10
 DOI: 10.1016/j.tcs.2007.02.040
added
25-Nov-08
publication(s)  
First Page Previous Page Page   of  6  Go Next Page Last Page
  Sort by:    Results per page: