bibliographic details : Logic, truth, and the modalities :