Reflexive-insensitive modal logics
David R. Gilbert, Giorgio Venturi
ARTIGO
Inglês
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...
Ver mais
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
Ver menos
FUNDAÇÃO DE AMPARO À PESQUISA DO ESTADO DE SÃO PAULO - FAPESP
2013/25095-4
COORDENAÇÃO DE APERFEIÇOAMENTO DE PESSOAL DE NÍVEL SUPERIOR - CAPES
Fechado
Reflexive-insensitive modal logics
David R. Gilbert, Giorgio Venturi
Reflexive-insensitive modal logics
David R. Gilbert, Giorgio Venturi
Fontes
|
Review of symbolic logic (Fonte avulsa) |