MSc/PAPCC Theses

[being] prepared or supervised by current members of the LCG (Logic and Computation Group) that became the CLC (Center for Logic and Computation) where updated information from February 14, 2001 onwards can be found.

• F. Martins. Computation in Idiotypic Networks (in Portuguese). PAPCC thesis, Universidade dos Açores, 2000. Supervised by J. F. Costa.

• S. Martins. Monotonic and Nonmonotonic Propositional Logic Structures (in Portuguese). MSc thesis, Universidade Técnica de Lisboa, 1999. Supervised by F. M. Dionísio.

• A. L. Nunes. Combination of Logics: Temporalization (in Portuguese). MSc thesis, Universidade Técnica de Lisboa, 1998. Supervised by C. Sernadas.

• M. J. Coutinho. A Categorial Study of the Relationships between Logics (in Portuguese). MSc thesis, Universidade Técnica de Lisboa, 1997. Supervised by C. Sernadas.

• J. Espírito Santo. Chu and Galois: Polarity, Connection and Adjunction (in Portuguese). MSc thesis, Universidade Técnica de Lisboa, 1997. Supervised by C. Sernadas.

• J. Carvalho. Completeness in Modal and Temporal Logics (in Portuguese). MSc thesis, Universidade Técnica de Lisboa, 1996. Supervised by C. Sernadas.

• C. Caleiro. Distributed Communities of Objects (in Portuguese). MSc thesis, Universidade Técnica de Lisboa, 1996. Supervised by A. Sernadas. Read the abstract (in English).

• A. Ravara. An Operational Semantics for the Language GNOME Based on the Typed Concurrent Objects. MSc thesis, Universidade Técnica de Lisboa, 1996. Supervised by A. Sernadas and V. Vasconcelos. Get the thesis (in Portuguese): ps, ps.gz, or read the abstract (in English).

• J. Gomes. Temporal Logic of Objects with Explicit Time (in Portuguese). MSc thesis, Universidade Técnica de Lisboa, 1996. Supervised by C. Sernadas.

• J. Ramos. Gnome Certification Logic. MSc thesis, Universidade Técnica de Lisboa, 1995. Supervised by A. Sernadas. Get the thesis (in Portuguese): chap0.ps, chap1.ps, chap2.ps, chap3.ps, chap4.ps, chap5.ps, chap6.ps, chap7.ps, chap8.ps.

• P. Gouveia. Tableaux Systems for Reasoning with Objects in Isolation (in Portuguese). MSc thesis, Universidade Técnica de Lisboa, 1993. Supervised by C. Sernadas.

• P. Resende. Tableaux for Propositional Dynamic Logic (in Portuguese). MSc thesis, Universidade Técnica de Lisboa, 1991. Supervised by A. Sernadas.

• A. R. Silva. Serializability and Parallelization (in Portuguese). MSc thesis, Universidade Técnica de Lisboa, 1991. Supervised by C. Sernadas.

• F. M. Dionísio. A Categorial Model and Submodels of Concurrent Processes (in Portuguese). MSc thesis, Universidade Técnica de Lisboa, 1991. Supervised by A. Sernadas.

• J. F. Costa. Algebraic Theory of Active Processes (in Portuguese). MSc thesis, Universidade Técnica de Lisboa, 1990. Supervised by A. Sernadas.

• J. Fiadeiro. Algebraic Construction of Theories for Conceptual Modeling (in Portuguese). PAPCC thesis, Universidade Técnica de Lisboa, 1987. Supervised by A. Sernadas.

Last update: February 6, 2001.