FibLog: 
Fibring Logics

WARNING: This is an archive page.

For updated information on the project look at Fiblog at CLC.

A project of LCG to be submitted to FCT at the end of year 2000 - continuing research on fibring and other constructions for combining logics with applications to the development of mixed logics, such as logics of hybrid systems and logics of authentication.

Core team

• Amílcar Sernadas (Coordinator)
• Cristina Sernadas
• Carlos Caleiro
• João Rasga

Some relevant papers at LCG

Main tasks

• Foundations
  • Homogeneous fibring
    • Fibring of first-order based logics (1)
    • Fibring of labelled deductive systems (2)
    • Fibring of non verum functional logics (3)
    • Fibring over sheaf semantics (3)
    • Fibring of higher-order based logics
  • Heterogeneous fibring
    • Fibring logics with deductive systems of different kinds (2)
    • Fibring logics with semantics of different kinds (4)
    • Fibring versus institutions (5)

• Preservation results
  • Completeness
  • Decidability and finite model property
  • Complexity

• Applications
  • Logics of hybrid systems
  • Logics of authentication (2)
  • Fault tolerance logics (5)

(1) with Alberto Zanardo (U Padova, Italy) - photo taken on December 15, 2000
(2) with David Basin and Luca Vigano (U Freiburg, Germany)
(3) with Walter Carnielli and Marcelo Coniglio (U Campinas, Brazil)
(4) with Razvan Diaconescu (Simion Stoilow Intitute, Romania) and Petros Stefaneas (NTU Athens, Greece)
(5) with Joseph Goguen (U California at San Diego)

Last update: December 18, 2000.