The majority of works on modal many-valued logics consider Kripke-style possible worlds frames as the principal semantics despite their well-known axiomatizability issues when considering non-Boolean accessibility relations. The present work explores a more general semantical picture, namely a many-valued version of the classical neighborhood semantics. We present it in two levels of generality. First, we work with modal languages containing only the two usual unary modalities, define neighborhood frames over algebras of the logic FLew with operators, and show their relation with the usual Kripke semantics (this is actually the highest level of generality where one can give a straightforward definition of the Kripke-style semantics). Second, we define generalized neighborhood frames for arbitrary modal languages over a given class of algebras for an arbitrary protoalgebraic logic and, assuming certain additional conditions, axiomatize the logic of all such frames (which generalizes the completeness theorem of the classical modal logic E with respect to classical neighborhood frames).

Cintula, P., Noguera, C. (2018). Neighborhood semantics for modal many-valued logics. FUZZY SETS AND SYSTEMS, 345, 99-112 [10.1016/j.fss.2017.10.009].

Neighborhood semantics for modal many-valued logics

Noguera C.
2018-01-01

Abstract

The majority of works on modal many-valued logics consider Kripke-style possible worlds frames as the principal semantics despite their well-known axiomatizability issues when considering non-Boolean accessibility relations. The present work explores a more general semantical picture, namely a many-valued version of the classical neighborhood semantics. We present it in two levels of generality. First, we work with modal languages containing only the two usual unary modalities, define neighborhood frames over algebras of the logic FLew with operators, and show their relation with the usual Kripke semantics (this is actually the highest level of generality where one can give a straightforward definition of the Kripke-style semantics). Second, we define generalized neighborhood frames for arbitrary modal languages over a given class of algebras for an arbitrary protoalgebraic logic and, assuming certain additional conditions, axiomatize the logic of all such frames (which generalizes the completeness theorem of the classical modal logic E with respect to classical neighborhood frames).
2018
Cintula, P., Noguera, C. (2018). Neighborhood semantics for modal many-valued logics. FUZZY SETS AND SYSTEMS, 345, 99-112 [10.1016/j.fss.2017.10.009].
File in questo prodotto:
File Dimensione Formato  
SM.pdf

accesso aperto

Descrizione: https://doi.org/10.1016/j.fss.2017.10.009
Tipologia: Pre-print
Licenza: PUBBLICO - Pubblico con Copyright
Dimensione 193.89 kB
Formato Adobe PDF
193.89 kB Adobe PDF Visualizza/Apri
Cintula-Noguera-FSS-2018.pdf

non disponibili

Tipologia: PDF editoriale
Licenza: NON PUBBLICO - Accesso privato/ristretto
Dimensione 365.15 kB
Formato Adobe PDF
365.15 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11365/1200590