| Full text | |
| Author(s): |
Total Authors: 2
|
| Affiliation: | [1] Univ Estadual Campinas, Ctr Log Epistemol & Hist Sci, BR-13083859 Sao Paulo - Brazil
Total Affiliations: 1
|
| Document type: | Journal article |
| Source: | Review of Symbolic Logic; v. 9, n. 1, p. 167-180, MAR 2016. |
| Web of Science Citations: | 2 |
| Abstract | |
We analyze a class of modal logics rendered insensitive to reflexivity by way of a modification to the semantic definition of the modal operator. We explore the extent to which these logics can be characterized, and prove a general completeness theorem on the basis of a translation between normal modal logics and their reflexive-insensitive counterparts. Lastly, we provide a sufficient semantic condition describing when a similarly general soundness result is also available. (AU) | |
| FAPESP's process: | 13/25095-4 - Set theory and its interal logic |
| Grantee: | Giorgio Venturi |
| Support Opportunities: | Scholarships in Brazil - Post-Doctoral |