- P. Mateus, A. Sernadas, and A. Souto.
Universality of quantum Turing machines with deterministic control.
Journal of Logic and Computation, 27(1):1--19, 2017.
Get a
preprint: 14-MSS-dcQTM.pdf
- J. Rasga, C. Sernadas, P. Mateus, and
A. Sernadas.
Decision and optimization problems in the unreliable-circuit logic.
Logic Journal of the IGPL, 25(3):283--308, 2017.
Get a
preprint: 16-RSMS-optprobsucl.pdf
- J. Rasga, C. Sernadas, and A. Sernadas.
Preservation of admissible rules when combining logics.
Review of Symbolic Logic, 2016.
Get a preprint: 15-RSS-adm01.pdf
- D. Qiu, L. Li, P. Mateus, and
A. Sernadas.
Exponentially more concise quantum recognition of non-RMM regular languages.
Journal of Computer and System Sciences, 81(2):359--375, 2015.
Get
a preprint: 11-QLMS-1QFAC.pdf
- A. Sernadas, J. Rasga, C. Sernadas, and
P. Mateus.
Reasoning about logic circuits with independent input errors.
South American Journal of Logic, 1(1):135--162, 2015.
Get a
preprint: 14-SRSM-pcl04d.pdf
- J. Rasga, A. Sernadas, and C. Sernadas.
Fibring as biporting subsumes asymmetric combinations.
Studia Logica, 102(5):1041--1071, 2014.
Get a preprint: 13-RSS-gtf07b.pdf
- J. Rasga, C. Sernadas, and A. Sernadas.
Craig interpolation in the presence of unreliable connectives.
Logica Universalis, 8(3-4):423--446, 2014.
Get a preprint: 14-RSS-pcl04c.pdf
- A. Sernadas.
Extending
classical logic for reasoning about quantum systems (extended abstract).
The Bulletin of Symbolic Logic, 20(2):211--213, 2014.
Get a
preprint: 13-S-eqpl-LC.pdf
- A. Sernadas, J. Rasga, C. Sernadas, and
P. Mateus.
Approximate
reasoning about logic circuits with single-fan-out unreliable gates.
Journal of Logic and Computation, 24(5):1023--1069, 2014.
Get a
preprint: 13-SRSM-pcl04.pdf
- J. Rasga, A. Sernadas, and C. Sernadas.
Importing logics: Soundness and completeness preservation.
Studia Logica, 101(1):117--155, 2013.
Get a preprint: 11-RSS-gtf07c.pdf
- C. Sernadas, J. Rasga, and A. Sernadas.
Preservation of Craig interpolation by the product of matrix logics.
Journal of Applied Logic, 11(3):328--349, 2013.
Get a
preprint: 12-SRS-pcl02.pdf
- J. Rasga, A. Sernadas, and C. Sernadas.
Importing logics.
Studia Logica, 100(3):545--581, 2012.
Get a preprint: 10-RSS-gtf07a.pdf
- A. Sernadas, C. Sernadas, and J. Rasga.
On
meet-combination of logics.
Journal of Logic and Computation, 22(6):1453--1470, 2012.
Get a
preprint: 11-SSR-pcl01.pdf
- M. Coniglio, A. Sernadas, and
C. Sernadas.
Preservation by fibring of the finite model property.
Journal of Logic and Computation, 21(2):375--402, 2011.
Get a
preprint: 10-CSS-gtf05.pdf
- A. Sernadas, C. Sernadas, and J. Rasga.
On combined
connectives.
Logica Universalis, 5(2):205--224, 2011.
Get a preprint: 11-SSR-pcl00.pdf
- A. Sernadas, C. Sernadas, J. Rasga,
and M. Coniglio.
A graph-theoretic account of logics.
Journal of Logic and Computation, 19:1281--1320, 2009.
Get a
preprint: 08-SSRC-gtf01.pdf
- A. Sernadas, C. Sernadas, J. Rasga,
and M. Coniglio.
On graph-theoretic fibring of logics.
Journal of Logic and Computation, 19:1321--1357, 2009.
Get a
preprint: 08-SSRC-gtf02.pdf
- L. Cruz-Filipe, J. Rasga, A. Sernadas, and
C. Sernadas.
A complete axiomatization of discrete-measure almost-everywhere quantification.
Journal of Logic and Computation, 18(6):885--911, 2008.
Get a
preprint: 06-CRSS-folae.pdf
- L. Cruz-Filipe, A. Sernadas, and C. Sernadas.
Heterogeneous fibring of deductive systems via abstract proof systems.
Logic Journal of the IGPL, 16:121--153, 2008.
Get a preprint:
05-CSS-fiblog26.pdf
- R. Chadha, L. Cruz-Filipe, P. Mateus,
and A. Sernadas.
Reasoning about probabilistic sequential programs.
Theoretical Computer Science, 379(1-2):142--165, 2007.
Get a
preprint: 06-CCMS-quantlog08.pdf
- R. Chadha, P. Mateus, and A. Sernadas.
Reasoning about quantum imperative programs.
Electronic Notes in Theoretical Computer Science, 158:19--40, 2006.
Invited talk at the Twenty-second Conference on the Mathematical Foundations of
Programming Semantics, May 24-27, 2006, Genova.
Get a preprint: 06-CMS-quantlog10s.pdf
- P. Mateus and A. Sernadas.
Weakly
complete axiomatization of exogenous quantum propositional logic.
Information and Computation, 204(5):771--794, 2006.
ArXiv math.LO/0503453.
Get a preprint: 05-MS-quantlog01.pdf
- P. Mateus, A. Sernadas, C. Sernadas, and
L. Viganò.
Modal sequent calculi labelled with truth values: Completeness, duality and
analyticity.
Logic Journal of the IGPL, 12(3):227--274, 2004.
Get a
preprint: 03-MSSV-fiblog19.ps
03-MSSV-fiblog19.pdf
- C. Caleiro, W. A.
Carnielli, M. E. Coniglio, A. Sernadas, and C. Sernadas.
Fibring non-truth-functional logics: Completeness preservation.
Journal of Logic, Language and Information, 12(2):183--211,
2003.
Get a preprint: 00-CCCSS-fiblog8.ps
00-CCCSS-fiblog8.pdf
- M. E. Coniglio, A. Sernadas, and
C. Sernadas.
Fibring logics with topos semantics.
Journal of Logic and Computation, 13(4):595--624, 2003.
Get a
preprint: 02-CSS-fiblog14.ps
02-CSS-fiblog14.pdf
- P. Mateus, M. Cabral Morais,
C. Nunes, A. Pacheco, A. Sernadas, and C. Sernadas.
Categorical foundations for randomly timed automata.
Theoretical Computer Science, 308:393--427, 2003.
Get a
preprint: 00-MMNPSS-rta.ps
00-MMNPSS-rta.pdf
- C. Sernadas, L. Viganò, J. Rasga, and
A. Sernadas.
Truth-values as labels: A general recipe for labelled deduction.
Journal of Applied Non-Classical Logics, 13(3-4):277--315,
2003.
Get a preprint: 02-SVRS-fiblog11.ps
02-SVRS-fiblog11.pdf
- J. Rasga, A. Sernadas, C. Sernadas, and
L. Viganò.
Fibring labelled deduction systems.
Journal of Logic and Computation, 12(3):443--473, 2002.
Get a
preprint: 00-RSSV-fiblog5.ps
00-RSSV-fiblog5.pdf
- P.-Y. Schobbens, G. Saake, A. Sernadas,
and C. Sernadas.
U2: A two-level temporal logic for evolving specifications.
Information Processing Letters, 83(3):167--172, 2002.
Get a
preprint: 99-SSSS-u2.ps
- A. Sernadas, C. Sernadas, and A. Zanardo.
Fibring modal first-order logics: Completeness preservation.
Logic Journal of the IGPL, 10(4):413--451, 2002.
Get a
preprint: 01-SSZ-fiblog4.ps
01-SSZ-fiblog4.pdf
- P. Mateus, A. Pacheco, J. Pinto,
A. Sernadas, and C. Sernadas.
Probabilistic situation calculus.
Annals of Mathematics and Artificial Intelligence, 32(1/4):393--431,
2001.
Get a preprint: 00-MPPSS-psc.ps
00-MPPSS-psc.pdf
- A. Zanardo, A. Sernadas, and C. Sernadas.
Fibring: Completeness preservation.
Journal of Symbolic Logic, 66(1):414--439, 2001.
Get a
preprint: 99-ZSS-fiblog3.ps
99-ZSS-fiblog3.pdf
- J. Pinto, A. Sernadas, C. Sernadas, and
P. Mateus.
Non-determinism and uncertainty in the Situation Calculus.
International Journal of Uncertainty, Fuzziness and Knowledge-Based
Systems, 8(2):127--149, 2000.
Full version of pin:acs:css:pmat:99a.
Get a preprint: 99-PSSM-probscx.ps
- A. Sernadas.
Book Review -- Fibring Logics by Dov M. Gabbay.
Journal of Logic, Language, and Information, 9(4):511--513,
2000.
Get a preprint: 00-S-revDG.ps
- P. Mateus, A. Sernadas, and C. Sernadas.
Precategories for combining probabilistic automata.
Electronic Notes in Theoretical Computer Science, 29, 1999.
Early version presented at FIREworks Meeting, Magdeburg, May 15-16, 1998.
Presented at CTCS'99, Edinburgh, September 10-12, 1999.
Get a
preprint: 99-MSS-precat1.ps
- A. Sernadas, C. Sernadas, and C. Caleiro.
Fibring of logics as a categorial construction.
Journal of Logic and Computation, 9(2):149--179, 1999.
Get a
preprint: 98-SSC-fiblog.ps
- P. B. Menezes, A. Sernadas, and J. F.
Costa.
Nonsequential automata semantics for a concurrent object-based language.
Electronic Notes in Theoretical Computer Science, 14, 1998.
Get a
preprint: 98-MSC-nautilus.ps
- A. Sernadas, C. Sernadas, and C. Caleiro.
Denotational semantics of object specification.
Acta Informatica, 35:729--773, 1998.
Get a preprint: 98-SSC-osli2.ps
- A. Sernadas, C. Sernadas, and C. Caleiro.
Synchronization of logics.
Studia Logica, 59(2):217--247, 1997.
Get a preprint: 96-SSC-synclog.ps
- C. Caleiro, G. Saake, and A. Sernadas.
Deriving liveness goals from temporal logic specifications.
Journal of Symbolic Computation, 22:521--553, 1996.
Get a
preprint: 95-CSS-gdos.ps
- A. Sernadas, C. Sernadas, and J. Ramos.
A temporal logic approach to object certification.
Data and Knowledge Engineering, 19:267--294, 1996.
Get a
preprint: 95-SSR-cert2.ps
- J. F. Costa and A. Sernadas.
Progress assumption in concurrent systems.
Formal Aspects of Computing, 7(1):18--36, 1995.
Get a
preprint: 95-CS-prog.ps
- A. Sernadas, C. Sernadas, and J. F. Costa.
Object specification logic.
Journal of Logic and Computation, 5(5):603--630, 1995.
Get a
preprint: 95-SSC-osl.ps
- J. F. Costa, A. Sernadas, and C. Sernadas.
Object inheritance beyond subtyping.
Acta Informatica, 31:5--26, 1994.
Get a preprint: 94-CSS-oibs.ps
- J. Carmo and A. Sernadas.
Formal techniques for systems specification and verification.
Information Systems, 16(3):245--272, 1991.
- R. Li and A. Sernadas.
Reasoning about objects using tableau method.
Journal of Logic and Computation, 1(5):575--611, 1991.
- J. Carmo and A. Sernadas.
Branching versus linear logics yet again.
Formal Aspects of Computing, 2(1):24--59, 1990.
- H.-D. Ehrich, A. Sernadas, and C. Sernadas.
From data types to object types.
Journal of Information Processing and Cybernetics EIK, 26(1):33--48,
1990.
- J. Fiadeiro and A. Sernadas.
Logics of modal terms for systems specification.
Journal of Logic and Computation, 1(2):187--227, 1990.
- C. Sernadas, J. Fiadeiro, and A. Sernadas.
Modular construction of logic knowledge bases: An algebraic approach.
Information Systems, 15(1):37--59, 1990.
- J. Sousa, C. Sernadas, and A. Sernadas.
An object-oriented specification tool for graphical interfaces.
Computers and Graphics, 14(1):29--40, 1990.
- J. Fiadeiro and A. Sernadas.
Specification and verification of database dynamics.
Acta Informatica, 25:625--661, 1988.
- J. Fiadeiro and A. Sernadas.
The infolog linear tense logic of events and transactions.
Information Systems, 11(1):61--85, 1986.
- H. Coelho, A. Rodrigues, and A. Sernadas.
Towards knowledge-based infolog specifications.
Decision Support Systems, 1(2):143--165, 1985.
- A. Sernadas.
Systematics: Its syntax and semantics as a query language I.
Computer Journal, 24(1):56--61, 1981.
- A. Sernadas.
Systematics: Its syntax and semantics as a query language II.
Computer Journal, 24(2):125--129, 1981.
- A. Sernadas.
Temporal aspects of logical procedure definition.
Information Systems, 5(3):167--197, 1980.
- A. Sernadas and C. Sernadas.
Combining logic systems: Why, how, what for?
CIM Bulletin, 15:9--14, December 2003.
Get a preprint: 03-SS-fiblog22.ps
03-SS-fiblog22.pdf
- J. F. Costa and A. Sernadas.
Cálculo de actividades e transacções (Calculus of activities and
transactions).
Estudos de Economia, 13(3):293--317, 1993.
Menção Honrosa do Prémio Científico IBM 1992.
- J. F. Costa and A. Sernadas.
A categorial framework of process interconnection.
The INESC Journal of Research and Development, 4(1):81--93,
1993.
Get a preprint: 93-CS-procint.ps
- A. Hespanha and A. Sernadas.
O impacto da computação no direito.
Revista Jurídica, AAFDL, 13/14:179--190, 1990.
Get a
preprint: 90-HS-normlog.pdf
- A. Sernadas, H.-D. Ehrich, and J. F. Costa.
From processes to objects.
The INESC Journal of Research and Development, 1(1):7--27, 1990.
- A. Sernadas.
Introdução aos computadores e programação (Introduction to
computers and programming).
Revista Portuguesa de Informática, 3(2):35--43, 1982.