| Publication | Date of Publication | Type |
|---|
| An alleged problem for possible worlds semantics | 2005-11-18 | Paper |
Why does Halldén‐completeness matter?
Theoria | 1996-03-17 | Paper |
| scientific article; zbMATH DE number 496041 (Why is no real title available?) | 1994-08-21 | Paper |
The number of {□, →}-logics
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1990-01-01 | Paper |
Expressive completeness and decidability
Notre Dame Journal of Formal Logic | 1990-01-01 | Paper |
Some compactness results for modal logic
Notre Dame Journal of Formal Logic | 1989-01-01 | Paper |
The number of nonnormal extensions of S4
Notre Dame Journal of Formal Logic | 1988-01-01 | Paper |
Some failures of interpolation in modal logic
Notre Dame Journal of Formal Logic | 1986-01-01 | Paper |
Bounded Properties in Modal Logic
Mathematical Logic Quarterly | 1981-01-01 | Paper |
Modal logics with no minimal proper extensions
Studia Logica | 1979-01-01 | Paper |
Negation‐Free Modal Logics
Mathematical Logic Quarterly | 1979-01-01 | Paper |
Putting K in its place
Notre Dame Journal of Formal Logic | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3675859 (Why is no real title available?) | 1978-01-01 | Paper |
An incomplete nonnormal extension of S3
Journal of Symbolic Logic | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3561300 (Why is no real title available?) | 1976-01-01 | Paper |
A Henkin-style completeness proof for the pure implicational calculus
Notre Dame Journal of Formal Logic | 1975-01-01 | Paper |
Wajsberg normal forms for S5
Journal of Philosophical Logic | 1975-01-01 | Paper |
Remark on a logic of preference
Notre Dame Journal of Formal Logic | 1975-01-01 | Paper |
Disjunctive extensions of S4 and a conjecture of Goldblatt's
Mathematical Logic Quarterly | 1975-01-01 | Paper |
S3.02 = S3.03
Notre Dame Journal of Formal Logic | 1974-01-01 | Paper |
K and Z
Notre Dame Journal of Formal Logic | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3407612 (Why is no real title available?) | 1974-01-01 | Paper |
Solutions to four modal problems of Sobocinski
Notre Dame Journal of Formal Logic | 1971-01-01 | Paper |
On a modal system of D.C. Makinson and B. Sobocinski
Notre Dame Journal of Formal Logic | 1969-01-01 | Paper |
On some open questions of B. Sobocinski
Notre Dame Journal of Formal Logic | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3267331 (Why is no real title available?) | 1969-01-01 | Paper |
A note on the structure of the power set
Notre Dame Journal of Formal Logic | 1968-01-01 | Paper |
