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 as the primary modal operator.

A neighborhood semantics for the logics of unknown truths and of false beliefs

Venturi G;
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 as the primary modal operator.
2017
Venturi, G; Gilbert, D
File in questo prodotto:
File Dimensione Formato  
4033-5171-1-PB(4).pdf

accesso aperto

Tipologia: Versione finale editoriale
Licenza: Creative commons
Dimensione 362.84 kB
Formato Adobe PDF
362.84 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11568/1163595
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact