BIBLIOS
Ciências References Management System
Visitor Mode (
Login
)
Need help?
Publications for mocosta
(1)
2024
On the Proof Theory of Modal Logics
(2024)
Costa, Maria Osório Oliveira
Ferreira, Fernando
Girlando, Marianna
Academic documents