Disappearing Diamonds: Fitch-Like Results in Bimodal Logic
Augment the propositional language with two modal operators: □ and ■. Define ♦ to be the dual of ■, i.e. ♦ ≡ ¬ ■ ¬. Whenever (X) is of the form φ → ψ, let (X♦ ) be φ→ ♦ ψ. (X♦ ) can be thought of as the modally qualified counterpart of (X)—for instance, under the metaphysical interpretation of ♦ , w...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Springer
2019
|
| Subjects: | |
| Online Access: | View Fulltext in Publisher |