Models for anodic and cathodic multimodalities

Autor(es)

Bueno-Soler, Juliana

• Tipo de documento: Artigo Científico
• Fonte: LOGIC JOURNAL OF THE IGPL; v. 20, n. 2, p. 19-pg., 2012-04-01.

Resumo

A system is classified as multimodal if its language has more than one modal operator as primitive, and such operators are not interdefinable. We extend the anodic and cathodic modal systems, introduced in Bueno-Soler (2009, J. Appl. Non-Classical Logics, 19, 291-310) and Bueno-Soler (2009, PhD Thesis), to a class of the so-called basilar multimodal systems generating, in this way, the classes of anodic and cathodic multimodal logics. The cathodic multimodal systems are defined as extensions of positive multimodal systems (anodic multimodal systems) by adding degrees of negation plus consistency (and inconsistency) operators. In this way, cathodic multimodal systems are logics of formal inconsistency [the paraconsistent LFIs, as treated in Carnielli et al. (2007, Handbook of Philosophical Logic, Springer)] enriched with multimodal operators. We focus the attention on models for such classes of systems and discuss how modal possible-translation semantics, as well as possible-worlds (or Kripke semantics), can be defined to interpret basilar cathodic multimodal systems. While anodic systems are modeled by Kripke models only, we introduce the modal possible-translation models for cathodic systems. Such models, given by combinations of three-valued modal logics, besides their own interest, explain the role of non-trivializing contradictions in multimodal environment. (AU)

• Processo FAPESP: 08/03995-5 - LOGPROB: lógica probabilística - fundamentos e aplicações computacionais
• Beneficiário: Marcelo Finger
• Modalidade de apoio: Auxílio à Pesquisa - Temático
• Processo FAPESP: 04/14107-2 - Logical consequence and combinations of logics: fundaments and efficient applications
• Beneficiário: Walter Alexandre Carnielli
• Modalidade de apoio: Auxílio à Pesquisa - Temático