| Publication | Date of Publication | Type |
|---|
Relational models for the modal syllogistic
Journal of Philosophical Logic | 1997-12-08 | Paper |
Semantic analysis of the modal syllogistic
Journal of Philosophical Logic | 1993-06-29 | Paper |
scientific article; zbMATH DE number 31598 (Why is no real title available?)
| 1992-06-28 | Paper |
Free construction of time from events
Journal of Philosophical Logic | 1989-01-01 | Paper |
Counting interval orders
Order | 1987-01-01 | Paper |
The extensions of the modal logic K5
Journal of Symbolic Logic | 1985-01-01 | Paper |
On constructing instants from events
Journal of Philosophical Logic | 1984-01-01 | Paper |
scientific article; zbMATH DE number 3878899 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3825758 (Why is no real title available?)
| 1982-01-01 | Paper |
Independent propositional modal logics
Studia Logica | 1980-01-01 | Paper |
Possible worlds and many truth values
Studia Logica | 1978-01-01 | Paper |
Modal operators and functional completeness, II
Journal of Symbolic Logic | 1978-01-01 | Paper |
scientific article; zbMATH DE number 3625351 (Why is no real title available?)
| 1977-01-01 | Paper |
Reduction of tense logic to modal logic II
Theoria | 1976-01-01 | Paper |
scientific article; zbMATH DE number 3508462 (Why is no real title available?)
| 1975-01-01 | Paper |
Categories of frames for modal logic
Journal of Symbolic Logic | 1975-01-01 | Paper |
Reduction of second‐order logic to modal logic
Mathematical Logic Quarterly | 1975-01-01 | Paper |
The logical consequence relation of propositional tense logic
Mathematical Logic Quarterly | 1975-01-01 | Paper |
An incompleteness theorem in modal logic
Theoria | 1974-01-01 | Paper |
Reduction of tense logic to modal logic. I
Journal of Symbolic Logic | 1974-01-01 | Paper |
A new representation of S5
Notre Dame Journal of Formal Logic | 1973-01-01 | Paper |
Noncompactness in propositional modal logic
Journal of Symbolic Logic | 1973-01-01 | Paper |
Semantic analysis of tense logics
Journal of Symbolic Logic | 1972-01-01 | Paper |
scientific article; zbMATH DE number 3356735 (Why is no real title available?)
| 1972-01-01 | Paper |
Sublattices of the Recursively Enumerable Degrees
Mathematical Logic Quarterly | 1971-01-01 | Paper |
A Proof of Whitman's Representation Theorem for Finite Lattices
Proceedings of the American Mathematical Society | 1970-01-01 | Paper |
Sublattices and Initial Segments of the Degrees of Unsolvability
Canadian Journal of Mathematics | 1970-01-01 | Paper |
On initial segments of hyperdegrees
Journal of Symbolic Logic | 1970-01-01 | Paper |
A theorem on initial segments of degrees
Journal of Symbolic Logic | 1970-01-01 | Paper |
A Note on Non-Distributive Sublattices of Degrees and Hyperdegrees
Canadian Journal of Mathematics | 1969-01-01 | Paper |
The Forcing Method and the Upper Semilattice of Hyperdegrees
| 1967-01-01 | Paper |
