| 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 |
Time flow
| 2014-10-24 | Paper |
On ``seeing the truth of the Gödel sentence
| 2014-10-24 | Paper |
3D/4D equivalence, the twins paradox, and absolute time
| 2014-10-24 | Paper |
How to make a decision
| 2014-10-24 | Paper |
Objective time flow
| 2014-10-24 | Paper |
The consistency of arithmetic
| 2014-10-24 | Paper |
Indeterminist free will
| 2014-10-24 | Paper |
Philosophical consequences of the twins paradox
| 2014-10-24 | Paper |
An insoluble problem
Analysis | 2014-10-24 | Paper |
The supervenience of truth: freewill and omniscience
Analysis | 2014-10-24 | Paper |
Can a Turing machine know that the Gödel sentence is true?
| 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 |
The 3D/4D controversy: a storm in a teacup
| 2014-10-24 | Paper |
Laws of nature and branching spacetime
| 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 |
Connexive implication
Journal of Symbolic Logic | 1966-01-01 | Paper |
Pure three-valued Łukasiewiczian 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 |
