There are infinitely many Diodorean modal functions

Publisher Website
Google Scholar
Abstract
It is well known that the modal calculus S4 has infinitely many non-equivalent formulae in a single proposition letter (in standard terminology, infinitely many modal functions), whilst S5 has only finitely many. However, the situation regarding the intermediate modal calculi S4.2, S4.3, and Prior's Diodorean tense-logic D does not seem to have been settled. In this note we show that each of these systems, together with a certain proper supersystem D* of D, has infinitely many modal functions.This is in contrast with the fact that in the intermediate propositional logics KC and LC, which correspond under the McKinsey-Tarski translations to S4.2 and S4.3, there are only finitely many non-equivalent formulae in a single proposition letter.2

This publication has 3 references indexed in Scilit: