Indexed actuality (Q5947380)

In natural languages the term `actually' is used ambiguously. The author formalizes propositional and quantified modal logics with indices ascribed to the modal operator of necessity and to the `actuality operator', which should make it possible to avoid the ambiguities. Both systems, together with extensions of six systems of standard modal logic, are proved to be sound and complete. The latter are shown to be decidable in the case of propositional logic.