Models for anodic and cathodic multimodalities

Logic Journal of the IGPL 20 (2):458-476 (2012)

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 and Bueno-Soler , 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 by adding degrees of negation plus consistency operators. In this way, cathodic multimodal systems are logics of formal inconsistency [the paraconsistent LFIs, as treated in Carnielli et al. ] 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 , 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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1093/jigpal/jzq050
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 38,992
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Predicate Modal Logics Do Not Mix Very Well.Olivier Gasquet - 1998 - Mathematical Logic Quarterly 44 (1):45-49.
Completeness and Incompleteness for Anodic Modal Logics.Juliana Bueno-Soler - 2009 - Journal of Applied Non-Classical Logics 19 (3):291-310.
A Hierarchy of Modal Logics with Relative Accessibility Relations.Philippe Balbiani & Ewa Orlowska - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):303-328.
La Connaissance Commune En Logique Modale.Luc Lismont - 1993 - Mathematical Logic Quarterly 39 (1):115-130.
A First Approach to Abstract Modal Logics.Josep M. Font & Ventura Verdú - 1989 - Journal of Symbolic Logic 54 (3):1042-1062.


Added to PP index

Total views
1 ( #1,234,296 of 2,319,702 )

Recent downloads (6 months)
1 ( #816,231 of 2,319,702 )

How can I increase my downloads?

Monthly downloads

Sorry, there are not enough data points to plot this chart.

My notes

Sign in to use this feature