Terminal de consulta web

Reflexive-insensitive modal logics

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

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)