Schedule of Contributed Talks: For the rest of the schedule, consult the Hour-long Talks Schedule and the Special Sessions Schedule. The complete program is available in postscript format. |
|||||||||||||||||||||||||||||||||||||||||||||||||||
Papers contributed by title. | |||||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||||
|
Talks contributed by title. | |
Toshiyasu Arai, "Epsilon substitution method for theories of jump hierarchies." | |
John Corcoran, "Logical form of quantifiers phrases: Quantifier-sortal-variable." | |
Billy Joe Lucas, "The logic of purely epistemic obligation." | |
Albert Mullin, "Properties of recursive sequences." | |
Cyrus Nourani, "Non-monotonic model culmination." | |
Ralf Schindler, "Remarks on coding into L(R)." | |
|