| Publication | Date of Publication | Type |
|---|
Connexive Gentzen
Logic Journal of the IGPL | 2019-01-08 | Paper |
Counterfactuals Based on Real Possible Worlds
Nôus | 2017-07-14 | Paper |
An insoluble problem
Analysis | 2014-10-24 | Paper |
The supervenience of truth: freewill and omniscience
Analysis | 2014-10-24 | Paper |
| The consistency of arithmetic | 2014-10-24 | Paper |
| Can a Turing machine know that the Gödel sentence is true? | 2014-10-24 | Paper |
| On ``seeing'' the truth of the Gödel sentence | 2014-10-24 | Paper |
| How to make a decision | 2014-10-24 | Paper |
| Indeterminist free will | 2014-10-24 | Paper |
| The determinists have run out of luck -- for a good reason | 2014-10-24 | Paper |
| Action based on deliberation and decision | 2014-10-24 | Paper |
| Controlled indeterministic processes in action theory | 2014-10-24 | Paper |
| The causative power of conscious choice | 2014-10-24 | Paper |
| The open future and its exploitation by rational agents | 2014-10-24 | Paper |
| Does the brain lead the mind? | 2014-10-24 | Paper |
| 3D/4D equivalence, the twins paradox, and absolute time | 2014-10-24 | Paper |
| Philosophical consequences of the twins paradox | 2014-10-24 | Paper |
| The 3D/4D controversy: a storm in a teacup | 2014-10-24 | Paper |
| Laws of nature and branching spacetime | 2014-10-24 | Paper |
| Objective time flow | 2014-10-24 | Paper |
| Time flow | 2014-10-24 | Paper |
| QM and STR: the combining of quantum mechanics and relativity theory | 2014-10-24 | Paper |
| Downward causation, biological information, and development fields | 2014-10-24 | Paper |
| The supervenience of truth: freewill and omniscience | 2014-10-24 | Paper |
| An insoluble problem | 2014-10-24 | Paper |
| The consistency of arithmetic. And other essays | 2014-07-31 | Paper |
Axiomatic quantum theory
Journal of Philosophical Logic | 2003-02-02 | Paper |
| 3D/4D equivalence, the twins paradox and absolute time | 2003-01-01 | Paper |
The strong future tense
Notre Dame Journal of Formal Logic | 1979-01-01 | Paper |
Every functionally complete m-valued logic has a Post-complete axiomatization
Notre Dame Journal of Formal Logic | 1970-01-01 | Paper |
Contrariety
Notre Dame Journal of Formal Logic | 1967-01-01 | Paper |
Connexive class logic
Journal of Symbolic Logic | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3322078 (Why is no real title available?) | 1967-01-01 | Paper |
Pure three-valued Łukasiewiczian implication
Journal of Symbolic Logic | 1966-01-01 | Paper |
Connexive implication
Journal of Symbolic Logic | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3275560 (Why is no real title available?) | 1965-01-01 | Paper |
Aristotle's modal syllogisms
Studies in Logic and the Foundations of Mathematics | 1963-01-01 | Paper |
A simple decision procedure for one-variable implication/negation formulae in intuitionist logic
Notre Dame Journal of Formal Logic | 1962-01-01 | Paper |
