The tableaux method applied to normal modal S5

• Grant number: 19/23436-5
• Support Opportunities: Scholarships in Brazil - Scientific Initiation
• Start date: December 01, 2019
• End date: November 30, 2020
• Field of knowledge: Physical Sciences and Mathematics - Mathematics
• Principal Investigator: Luiz Henrique da Cruz Silvestrini
• Grantee: Gabriela Stéfany Cirilo
• Host Institution: Faculdade de Ciências (FC). Universidade Estadual Paulista (UNESP). Campus de Bauru. Bauru , SP, Brazil

Abstract

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.