Advanced search
Start date

The tableaux method applied to normal modal S5

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


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:
Articles published in other media outlets (0 total):
More itemsLess items

Please report errors in scientific publications list by writing to: