SESSION COMBINATION


KEYNOTE SPEAKER

Carlos Caleiro and Sérgio Marcelino
Security and Quantum Information Group, Institute for Telecommunications, IST, Lisbon, Portugal
"Combining logics, Cryptofibred Semantics and Completeness Preservation"

Peter Arndt
Dpt of Mathematics, University of Regensburg, Germany
"Homotopical Fibring"

Diogo Henrique Bispo Dias
Dpt of Philosophy, PUC-SP, Brazil
"Classical and Paraclassical logics: A case of combination and analysis of different logics"

Jaime Ramos and Carlos Caleiro
Security and Quantum Information Group, Institute for Telecommunications, IST, Lisbon, Portugal
"Classical and Intuitionistic Propositional Logic"

Márcio M.Ribeiro and Marcelo Coniglio
Center of Logic, State University of Campinas - UNICAMP, Brazil
"Safe Fibring or How to Revise Logic Systems"


 


Denis Ponomaryov and Dmitry Vlasov
Institute of Informatics Systems and Institute of Mathematics, Novosibirsk, Russia
"A Sort–Binding Method of Combining Logics"

Luís Menasché Schechter and Mario R. F. Benevides
Dpt of Computer Sceinces, Federal University of Rio de Janeiro, Brazil
"Multi-Dimensional Products of Graphs and Hybrid Logics"