-
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
|