
Independence of the Dual Axiom in Modal K with
Primitive Diamond
An independence result
for axioms of modal logic with primitive possibility.

The logic of counterpart theory with actuality.
How to add an actuality
operator to counterpart theory.

The Semantics of Conditional Modality
Conditional modalities as
modal conditionals
