We prove by semantic means that the actuality operator is eliminable in any propositional modal logic characterized by a class of Kripke models. It follows that adding this operator to any such logic does not increase the logic's expressive power (with respect to real-world truth).
We show that the actuality operator A is redundant in any propositional modal logic characterized by a class of Kripke models (respectively, ...
People also ask
What is the weakest modal logic?
What is modal proposition in logic?
What is the existence Lemma in modal logic?
What is the rule of necessitation?
Jul 12, 2012 · Abstract. We show that the actuality operator A is redundant in any propositional modal logic characterized by a class of Kripke models ( ...
Abstract. We show that the actuality operator A is redundant in any propositional modal logic characterized by a class of Kripke models (respectively, ...
Jul 25, 1975 · (Actual actuality rules): In a-proofs only, Rp and p are d.c.'s of one another. We how prove a series of metatheorems. The first is a semantic.
We show that the actuality operator A is redundant in any propositional modal logic characterized by a class of Kripke models (respectively, neighborhood models) ...
Feb 29, 2000 · Modal logic is, strictly speaking, the study of the deductive behavior of the expressions 'it is necessary that' and 'it is possible that'.
This paper is concerned with a propositional modal logic with operators for necessity, actuality and apriority. The logic is characterized by a class of ...
Jul 12, 2012 · We show that the actuality operator A is redundant in any propositional modal logic characterized by a class of Kripke models (respectively, ...
Jun 16, 2023 · Current orthodoxy in modal logic and metaphysics has it that actuality is non-contingent in the following sense: for all p, if actually, p, ...