I. L. Humberstone

Available identifiers

zbMath Open humberstone.i-lMaRDI QIDQ1097871

List of research outcomes

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
Inaccessible worlds	1983-01-01	Paper
Hallden-completeness by gluing of Kripke frames	1983-01-01	Paper
From worlds to possibilities	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3669374	1981-01-01	Paper
Two systems of presupposition logic	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4769042	1975-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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