I. L. Humberstone

Available identifiers

Publication	Date of Publication	Type
Choice of primitives: A note on axiomatizing intuitionistic logic	2001-12-05	Paper
Negation by iteration	1998-03-23	Paper
A basic system of congruential-to-monotone bimodal logic and two of its extensions	1997-12-02	Paper
Singulary extensional connectives: A closer look	1997-08-05	Paper
The logic of non-contingency	1996-03-17	Paper
A study of some ‘separated’ conditions on binary relations	1996-02-13	Paper
Zero-place operations and functional completeness, and the definition of new connectives	1994-06-05	Paper
Functional dependencies, supervenience, and consequence relations	1994-05-05	Paper
Expressive power and semantic completeness: Boolean connectives in modal logic	1990-01-01	Paper
Operational semantics for positive R	1988-01-01	Paper
The modal logic of `all and only'	1987-01-01	Paper
Semicomplemented Lattices and the Finite Model Property	1986-01-01	Paper
Monadic representability of certain binary relations	1984-01-01	Paper
Hallden-completeness by gluing of Kripke frames	1983-01-01	Paper
Inaccessible worlds	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3669374	1981-01-01	Paper
From worlds to possibilities	1981-01-01	Paper
Two systems of presupposition logic	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4769042	1975-01-01	Paper

This page was built for person: I. L. Humberstone