The following pages link to I. L. Humberstone (Q1097871):
Displaying 19 items.
- The modal logic of `all and only' (Q1097872) (← links)
- Operational semantics for positive R (Q1115417) (← links)
- From worlds to possibilities (Q1161736) (← links)
- Inaccessible worlds (Q1165229) (← links)
- Hallden-completeness by gluing of Kripke frames (Q1165230) (← links)
- Functional dependencies, supervenience, and consequence relations (Q1322439) (← links)
- Singulary extensional connectives: A closer look (Q1362590) (← links)
- A basic system of congruential-to-monotone bimodal logic and two of its extensions (Q1374212) (← links)
- The logic of non-contingency (Q1903586) (← links)
- Expressive power and semantic completeness: Boolean connectives in modal logic (Q2276946) (← links)
- Two systems of presupposition logic (Q2558297) (← links)
- Choice of primitives: A note on axiomatizing intuitionistic logic (Q2757960) (← links)
- Zero-place operations and functional completeness, and the definition of new connectives (Q3141184) (← links)
- Monadic representability of certain binary relations (Q3312231) (← links)
- (Q3669374) (← links)
- Semicomplemented Lattices and the Finite Model Property (Q3781076) (← links)
- Negation by iteration (Q4365783) (← links)
- (Q4769042) (← links)
- A study of some ‘separated’ conditions on binary relations (Q4861489) (← links)
