Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/320441
Type: Artigo de Periódico
Title: Reflexive-insensitive Modal Logics
Author: Gilbert
DR; Venturi
G
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.
Editor: CAMBRIDGE UNIV PRESS
Rights: aberto
Identifier DOI: 10.1017/S175502031500026X
Address: https://www.cambridge.org/core/journals/review-of-symbolic-logic/article/reflexive-insensitive-modal-logics/EDA5860CAE5C7EFCD3A87CAB22EFC7C7
Date Issue: 2016
Appears in Collections:Unicamp - Artigos e Outros Documentos

Files in This Item:
File SizeFormat 
000372757000008.pdf159.6 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.