| Texto completo | |
| Autor(es): |
Número total de Autores: 2
|
| Afiliação do(s) autor(es): | [1] Univ Estadual Campinas, Dept Philosophy, IFCH, BR-13083970 Barao Geraldo, SP - Brazil
Número total de Afiliações: 1
|
| Tipo de documento: | Artigo Científico |
| Fonte: | LOGIC JOURNAL OF THE IGPL; v. 29, n. 5, p. 719-738, OCT 2021. |
| Citações Web of Science: | 1 |
| Resumo | |
We offer tableaux systems for logics of essence and accident and logics of non-contingency, showing their soundness and completeness for Kripke semantics. We also show an interesting parallel between these logics based on the semantic insensitivity of the two non-normal operators by which these logics are expressed. (AU) | |
| Processo FAPESP: | 19/17407-2 - Razões em favor e contra objetos arbitrários |
| Beneficiário: | Pedro Teixeira Yago |
| Modalidade de apoio: | Bolsas no Brasil - Mestrado |
| Processo FAPESP: | 16/25891-3 - Arbitrariedade e genericidade: ou sobre como falar do indizível |
| Beneficiário: | Giorgio Venturi |
| Modalidade de apoio: | Auxílio à Pesquisa - Jovens Pesquisadores |