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

2025 Best paper conf

Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.

CheckMATE

Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda

2026 Best paper preprint

ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.

arXiv

Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski