Busca avançada
Ano de início
Entree
(Referência obtida automaticamente do Web of Science, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores.)

Neighborhood Semantics for Logics of Unknown Truths and False Beliefs

Autor(es):
Gilbert, David R. ; Venturi, Giorgio
Número total de Autores: 2
Tipo de documento: Artigo Científico
Fonte: AUSTRALASIAN JOURNAL OF LOGIC; v. 14, n. 1, SI, p. 246-267, 2017.
Citações Web of Science: 0
Resumo

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)

Processo FAPESP: 13/25095-4 - Teoria des conjuntos e sua lógica interna
Beneficiário:Giorgio Venturi
Linha de fomento: Bolsas no Brasil - Pós-Doutorado