Algebraic structure
Data structures
instrumentalism
Lewis's system S1
Lewis's system S2
Modal System S3
Formal System
quantified modal system
Routley Star
Stoic
rigour
austerely
species
hobby
vanish identically
Critique of Pure Reason
three-valued
sentence
Saul Kripke
obversion
assertion
assertoric
respectively
Socrates
dog
quantifier