In 1932, Lewis and Langford published work called Symbolic Logic, not qualifying as notions of normal modal logic S5. This logic uses the ¡ (necessary) and Ê (possible) operators as new object language symbols. In the semantic environment in Kripke, we have contexts of reflexivity, symmetry, and transitivity between worlds. The objective of this project of scientific initiation is to recognize the method of analytical frameworks, as an alternative to the Hilbertian; and further investigate the frame method for a modal system, particularly the S5 system.
News published in Agência FAPESP Newsletter about the scholarship: