I. L. Humberstone

11 papers Journal 11

Year	Rank	Type	Title / Venue / Authors
1997	J	`jnl`	Singulary Extensional Connectives: A Closer Look. J. Philos. Log. I. L. Humberstone
1996	J	`jnl`	Intrinsic/extrinsic. Synth. I. L. Humberstone
1993	J	`jnl`	Functional dependencies, supervenience, and consequence relations. J. Log. Lang. Inf. I. L. Humberstone
1990	J	`jnl`	Expressive power and semantic completeness: Boolean connectives in modal logic. Stud Logica I. L. Humberstone
1988	J	`jnl`	Operational semantics for positive R. Notre Dame J. Formal Log. I. L. Humberstone
1987	J	`jnl`	The modal logic of 'all and only'. Notre Dame J. Formal Log. I. L. Humberstone
1986	J	`jnl`	Semicomplemented Lattices and the Finite Model Property. Math. Log. Q. I. L. Humberstone, A. J. Lock
1983	J	`jnl`	Halldén-completeness by gluing of Kripke frames. Notre Dame J. Formal Log. I. L. Humberstone, J. F. A. K. van Benthem
1983	J	`jnl`	Inaccessible worlds. Notre Dame J. Formal Log. I. L. Humberstone
1981	J	`jnl`	From worlds to possibilities. J. Philos. Log. I. L. Humberstone
1979	J	`jnl`	Interval semantics for tense logic: Some remarks. J. Philos. Log. I. L. Humberstone