| Publication | Date of Publication | Type |
|---|
scientific article; zbMATH DE number 1852919 (Why is no real title available?)
| 2003-01-29 | Paper |
scientific article; zbMATH DE number 1222494 (Why is no real title available?)
| 1999-09-09 | Paper |
scientific article; zbMATH DE number 1028830 (Why is no real title available?)
| 1997-07-08 | Paper |
CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT
Mathematical Logic Quarterly | 1994-08-30 | Paper |
Correction to ``Survey of generalizations of Urquhart semantics
Notre Dame Journal of Formal Logic | 1989-01-01 | Paper |
Survey of generalizations of Urquhart semantics
Notre Dame Journal of Formal Logic | 1987-01-01 | Paper |
THE CLASSICAL PROPOSITIONAL CALCULUS OF ARGUMENTS
Mathematical Logic Quarterly | 1984-01-01 | Paper |
scientific article; zbMATH DE number 3563082 (Why is no real title available?)
| 1976-01-01 | Paper |
scientific article; zbMATH DE number 3377186 (Why is no real title available?)
| 1972-01-01 | Paper |
An approach to tense logic1
Theoria | 1971-01-01 | Paper |
On modal logic with propositional quantifiers
Journal of Symbolic Logic | 1969-01-01 | Paper |
Note on a paper in tense logic
Journal of Symbolic Logic | 1969-01-01 | Paper |
On a paper of akira nakamura
Mathematical Logic Quarterly | 1969-01-01 | Paper |
An algebraic study of tense logics with linear time
Journal of Symbolic Logic | 1968-01-01 | Paper |
On the extension of S4 with ClMpMLp
Notre Dame Journal of Formal Logic | 1967-01-01 | Paper |
On three related extensions of S4
Notre Dame Journal of Formal Logic | 1967-01-01 | Paper |
That All Normal Extensions of S4.3 Have the Finite Model Property
Mathematical Logic Quarterly | 1966-01-01 | Paper |
MIPC as the formalisation of an intuitionist concept of modality
Journal of Symbolic Logic | 1966-01-01 | Paper |
A modal extension of intuitionist logic
Notre Dame Journal of Formal Logic | 1965-01-01 | Paper |
scientific article; zbMATH DE number 3222922 (Why is no real title available?)
| 1965-01-01 | Paper |
An algebraic study of Diodorean modal systems
Journal of Symbolic Logic | 1965-01-01 | Paper |
A Class of Extensions of the Modal System S4 with the Finite Model Property
Mathematical Logic Quarterly | 1965-01-01 | Paper |
A NOTE ON THE MODAL CALCULI S 4.2 AND S 4.3
Mathematical Logic Quarterly | 1964-01-01 | Paper |
Some results for implicational calculi
Journal of Symbolic Logic | 1964-01-01 | Paper |
An axiomatization of Prior's modal calculus Q
Notre Dame Journal of Formal Logic | 1964-01-01 | Paper |
The implicational fragment of Dummett's LC
Journal of Symbolic Logic | 1963-01-01 | Paper |
