77
Voted
BIRTHDAY
1991
Springer
15 years 23 days ago
1991
Springer
First-order modal logics, as traditionally formulated, are not expressive enough. It is this that is behind the difficulties in formulating a good analog of Herbrand’s Theorem, ...