In a recent paper, under the auspices of an unorthodox variety of bilateralism, we introduced a new kind of proof-theoretic semantics for the base modal logic K, whose values lie in the closed interval [0, 1] of rational numbers. In this paper, after clarifying our conception of bilateralism – dubbed “soft bilateralism” – we generalize the fractional method to encompass extensions and weakenings of K. Specifically, we introduce well-behaved hypersequent calculi for the deontic logic D and the non-normal modal logics E and M and thoroughly investigate their structural properties.
Fractional-valued modal logic and soft bilateralism
Piazza Mario;Tesi Matteo
In corso di stampa
Abstract
In a recent paper, under the auspices of an unorthodox variety of bilateralism, we introduced a new kind of proof-theoretic semantics for the base modal logic K, whose values lie in the closed interval [0, 1] of rational numbers. In this paper, after clarifying our conception of bilateralism – dubbed “soft bilateralism” – we generalize the fractional method to encompass extensions and weakenings of K. Specifically, we introduce well-behaved hypersequent calculi for the deontic logic D and the non-normal modal logics E and M and thoroughly investigate their structural properties.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
BULLETIN.pdf
accesso aperto
Tipologia:
Accepted version (post-print)
Licenza:
Creative commons
Dimensione
440.75 kB
Formato
Adobe PDF
|
440.75 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.