| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 7572537 (Why is no real title available?) | 2022-08-17 | Paper |
The paradox of the prisoner in logical form
Synthese | 2014-01-29 | Paper |
The logic of obligation and the obligations of the logician
Synthese | 2014-01-29 | Paper |
| scientific article; zbMATH DE number 1222482 (Why is no real title available?) | 1999-03-02 | Paper |
| scientific article; zbMATH DE number 1222487 (Why is no real title available?) | 1998-11-11 | Paper |
| scientific article; zbMATH DE number 3315171 (Why is no real title available?) | 1969-01-01 | Paper |
On the calculus MCC
Notre Dame Journal of Formal Logic | 1969-01-01 | Paper |
Corrigendum to C.A. Meredith's and my paper: 'Equational logic.'
Notre Dame Journal of Formal Logic | 1969-01-01 | Paper |
Propositional calculus in implication and non-equivalence
Notre Dame Journal of Formal Logic | 1969-01-01 | Paper |
Equational logic
Notre Dame Journal of Formal Logic | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3271460 (Why is no real title available?) | 1967-01-01 | Paper |
Stratified Metric Tense Logic
Theoria | 1967-01-01 | Paper |
Modal logic with functorial variables and a contingent constant
Notre Dame Journal of Formal Logic | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3218734 (Why is no real title available?) | 1965-01-01 | Paper |
The Theory of Implication: Two Corrections
Mathematical Logic Quarterly | 1965-01-01 | Paper |
Axiomatisations of the modal calculus Q
Notre Dame Journal of Formal Logic | 1964-01-01 | Paper |
Two additions to positive implication
Journal of Symbolic Logic | 1964-01-01 | Paper |
INVESTIGATIONS INTO IMPLICATIONAL S5
Mathematical Logic Quarterly | 1964-01-01 | Paper |
K 1, K 2 and related modal systems
Notre Dame Journal of Formal Logic | 1964-01-01 | Paper |
Notes on the axiomatics of the propositional calculus
Notre Dame Journal of Formal Logic | 1963-01-01 | Paper |
The Theory of Implication
Mathematical Logic Quarterly | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3200651 (Why is no real title available?) | 1962-01-01 | Paper |
Quantification and L-modality
Notre Dame Journal of Formal Logic | 1962-01-01 | Paper |
On a family of paradoxes
Notre Dame Journal of Formal Logic | 1961-01-01 | Paper |
Some Axiom‐Pairs for Material and Strict Implication
Mathematical Logic Quarterly | 1961-01-01 | Paper |
Epimenides the Cretan
Journal of Symbolic Logic | 1959-01-01 | Paper |
Peirce's axioms for propositional calculus
Journal of Symbolic Logic | 1959-01-01 | Paper |
| scientific article; zbMATH DE number 3129315 (Why is no real title available?) | 1957-01-01 | Paper |
Modality and quantification in S5
Journal of Symbolic Logic | 1956-01-01 | Paper |
| scientific article; zbMATH DE number 3114382 (Why is no real title available?) | 1955-01-01 | Paper |
| scientific article; zbMATH DE number 3090963 (Why is no real title available?) | 1954-01-01 | Paper |
On propositions neither necessary nor impossible
Journal of Symbolic Logic | 1953-01-01 | Paper |
FACTS, PROPOSITIONS AND ENTAILMENT
Mind | 1948-01-01 | Paper |
