| Full text | |
| Author(s): |
Total Authors: 2
|
| Affiliation: | [1] Univ Estadual Campinas, Dept Philosophy, IFCH, BR-13083970 Barao Geraldo, SP - Brazil
Total Affiliations: 1
|
| Document type: | Journal article |
| Source: | LOGIC JOURNAL OF THE IGPL; v. 29, n. 5, p. 719-738, OCT 2021. |
| Web of Science Citations: | 1 |
| Abstract | |
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) | |
| FAPESP's process: | 19/17407-2 - Reasons for and against arbitrary objects |
| Grantee: | Pedro Teixeira Yago |
| Support Opportunities: | Scholarships in Brazil - Master |
| FAPESP's process: | 16/25891-3 - Arbitrariness and genericity: or on how to speak of the unspeakable |
| Grantee: | Giorgio Venturi |
| Support Opportunities: | Research Grants - Young Investigators Grants |