| | A Counterexample in Tense Logic |
Has publishing details
37(2):167-173, 1996
Has title
A Counterexample in Tense Logic
Has where published
Notre Dame Journal of Formal Logic
Has year
1996
Has author
Frank Wolter +
Has identifier
DBLP:journals/ndjfl/Wolter96 +
Categories Journal Paper +
|