beaver
subject
Algebraic structure
Data structures
yearly
Sally
Lewis's system S1
Lewis's system S2
Modal System S3
Formal System
quantified modal system
Sun Microsystems
Routley Star
Stoic
rigour
austerely
species
fatalism
hobby
vanish identically
Critique of Pure Reason
gravel
tortoise
three-valued
sentence
Common Sense
Tuesday
alligator
Saul Kripke
obversion
assertion
assertoric
Solr
holiday
Socrates
Java platform
dog
C. S. Peirce
quantifier