| Author(s): |
Gilbert, David R.
;
Venturi, Giorgio
Total Authors: 2
|
| Document type: | Journal article |
| Source: | AUSTRALASIAN JOURNAL OF LOGIC; v. 14, n. 1, p. 22-pg., 2017-01-01. |
| Abstract | |
This article outlines a semantic approach to the logics of unknown truths, and the logic of false beliefs, using neighborhood structures, giving results on soundness, completeness, and expressivity. Relational semantics for the logics of unknown truths are also addressed, specifically the conditions under which sound axiomatizations of these logics might be obtained from their normal counterparts, and the relationship between reflexive insensitive logics (RI-logics) and logics containing the provability operator boxed dot as the primary modal operator. (AU) | |
| FAPESP's process: | 13/25095-4 - Set theory and its interal logic |
| Grantee: | Giorgio Venturi |
| Support Opportunities: | Scholarships in Brazil - Post-Doctoral |