Modal-Logic

Context Edge

Edge ringan 3 word untuk menyatakan 'dalam pandangan dunia/konteks mana klaim ini benar'. 64 tipe — sumber, pandangan dunia, fiksi, perspektif — meng-encode kondisi kebenaran.