This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Researchers in areas ranging from economics to computational linguisti…
This is a tale of false leads, blind alleys and groping in the semi-dark, all of which lead to the discovery of the elusive evidence of the age of the universe. The author, as a research astronomer…