R. A. Bull

Available identifiers

zbMath Open bull.robert-aMaRDI QIDQ1104916

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4789449	2003-01-29	Paper
https://portal.mardi4nfdi.de/entity/Q4218025	1999-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q4342093	1997-07-08	Paper
CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT	1994-08-30	Paper
Correction to ``Survey of generalizations of Urquhart semantics	1989-01-01	Paper
Survey of generalizations of Urquhart semantics	1987-01-01	Paper
THE CLASSICAL PROPOSITIONAL CALCULUS OF ARGUMENTS	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4135513	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5648327	1972-01-01	Paper
An approach to tense logic1	1971-01-01	Paper
On modal logic with propositional quantifiers	1969-01-01	Paper
Note on a paper in tense logic	1969-01-01	Paper
On a paper of akira nakamura	1969-01-01	Paper
An algebraic study of tense logics with linear time	1968-01-01	Paper
On the extension of S4 with ClMpMLp	1967-01-01	Paper
On three related extensions of S4	1967-01-01	Paper
That All Normal Extensions of S4.3 Have the Finite Model Property	1966-01-01	Paper
MIPC as the formalisation of an intuitionist concept of modality	1966-01-01	Paper
A modal extension of intuitionist logic	1965-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5511405	1965-01-01	Paper
An algebraic study of Diodorean modal systems	1965-01-01	Paper
A Class of Extensions of the Modal System S4 with the Finite Model Property	1965-01-01	Paper
A NOTE ON THE MODAL CALCULI S 4.2 AND S 4.3	1964-01-01	Paper
Some results for implicational calculi	1964-01-01	Paper
An axiomatization of Prior's modal calculus Q	1964-01-01	Paper
The implicational fragment of Dummett's LC	1963-01-01	Paper

Research outcomes over time

This page was built for person: R. A. Bull