https://www.taylorfrancis.com/books/edit/10.1201/9780429332890/models-algebras-proofs-xavier-caicedo-carlos-montenegro?refId=f3586bc9-26d1-4f30-a2cd-c06c0567eda2&context=ubx

https://www.cambridge.org/core/journals/journal-of-symbolic-logic/article/abs/monadic-intuitionistic-and-modal-logics-admitting-provability-interpretations/F92BAA747BFA8E95EDF686FB7EAE495C

Aqui fala sobre definição de lógica e tradução:

https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=10fbfb17dd2b81258b22dca62d1a370d609d1489#page=196

https://plato.stanford.edu/archIves/spr2024/entries/ruth-barcan-marcus/#DeduDeduTheo

Artigos

• Raul Hakli and Sara Negri. Does the deduction theorem fail for modal logic? Synthese, 2012.

  Apresenta uma discussão sobre a validade do metateorema da dedução e suas variantes nos sistemas modais.