The set of irreducible nonequivalent modalities for a class of normal modal logics is determined. All the logics considered (KT, KD, K4, KB, among others) have this set infinite. © 1989 by the University of Notre Dame. All rights reserved.

Bellissima, F. (1989). Infinite sets of non-equivalent modalities. NOTRE DAME JOURNAL OF FORMAL LOGIC, 30(4), 574-582 [10.1305/ndjfl/1093635240].

Infinite sets of non-equivalent modalities

BELLISSIMA, FABIO
1989-01-01

Abstract

The set of irreducible nonequivalent modalities for a class of normal modal logics is determined. All the logics considered (KT, KD, K4, KB, among others) have this set infinite. © 1989 by the University of Notre Dame. All rights reserved.
1989
Bellissima, F. (1989). Infinite sets of non-equivalent modalities. NOTRE DAME JOURNAL OF FORMAL LOGIC, 30(4), 574-582 [10.1305/ndjfl/1093635240].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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/26949
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo