John Burgess (Princeton University): Publications - PhilPeople

Princeton University
Department of Philosophy

Regular Faculty

Princeton, New Jersey, United States of America

133

Synthetic mechanics
Journal of Philosophical Logic 13 (4): 379-395. 1984.

Logic and Philosophy of Logic 17th/18th Century Logic
153

Decidability for branching time
Studia Logica 39 (2-3): 203-218. 1980.

The species of indeterminist tense logic called Peircean by A. N. Prior is proved to be recursively decidable.

Logic and Philosophy of Logic Temporal Logic

Prev.
1
2
3
4
5
6
7
Next