Completeness in modal logic
This paper is mainly inspired by formal research results and philosophical considerations in ?A guide to intensional semantics?, written in 1973 by Bengt Hansson and Peter Gärdenfors. That essay was focused on the philosophy of semantics for modal logics, with special attention to completeness results. The purpose of the essay was to exhibit a negative trend in modal logic regarded as a philosoph