The following pages link to Lloyd Humberstone (Q190279):
Displaying 50 items.
- Book review of: J. W. Garson, Modal logic for philosophers. 2nd ed. (Q284232) (← links)
- Inverse images of box formulas in modal logic (Q383565) (← links)
- Zolin and Pizzi: defining necessity from noncontingency (Q485619) (← links)
- Minimally congruential contexts: observations and questions on embedding E in K (Q691133) (← links)
- An intriguing logic with two implicational connectives (Q698537) (← links)
- Modal logic for other-world agnostics: Neutrality and Halldén incompleteness (Q861518) (← links)
- Investigations into a left-structural right-substructural sequent calculus (Q1006458) (← links)
- Collapsing modalities (Q1038650) (← links)
- A perspective on modal sequent logic (Q1187165) (← links)
- Inverses for normal modal operators (Q1370458) (← links)
- Similarity relations and the preservation of solidity (Q1424967) (← links)
- False though partly true -- an experiment in logic (Q1425194) (← links)
- The modal logic of agreement and noncontingency (Q1430999) (← links)
- The revival of rejective negation (Q1582228) (← links)
- Archetypal forms of inference (Q1770625) (← links)
- Valuational semantics of rule derivability (Q1815405) (← links)
- Extensionality in sentence position (Q1820769) (← links)
- The lattice of extensional connectives: A correction (Q1823926) (← links)
- Classes of valuations closed under operations Galois-dual to Boolean sentence connectives (Q1922666) (← links)
- Replacement in logic (Q1947034) (← links)
- Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics (Q2108580) (← links)
- Idempotent variations on the theme of exclusive disjunction (Q2115285) (← links)
- Explicating logical independence (Q2301324) (← links)
- When is a schema not a schema? On a remark by Suszko (Q2307299) (← links)
- An abelian rule for BCI -- and variations (Q2374394) (← links)
- Variation on a trivialist argument of Paul Kabay (Q2429989) (← links)
- Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5 (Q2499308) (← links)
- Variations on a theme of Curry (Q2505136) (← links)
- Note on a lemma of Komori (Q2731725) (← links)
- On a conservative extension argument of Dana Scott (Q3081251) (← links)
- (Q3093482) (← links)
- (Q3112314) (← links)
- (Q3185648) (← links)
- Priest on Negation (Q3305669) (← links)
- (Q3377758) (← links)
- (Q3466592) (← links)
- (Q3466612) (← links)
- (Q3509058) (← links)
- (Q3520847) (← links)
- Replacing Modus Ponens With One-Premiss Rules (Q3544315) (← links)
- (Q3629240) (← links)
- (Q4170702) (← links)
- (Q4218021) (← links)
- A Strange Remark Attributed to Gödel (Q4448891) (← links)
- CLASSICALLY ARCHETYPAL RULES (Q4577996) (← links)
- Prior’s OIC nonconservativity example revisited (Q4583353) (← links)
- (Q4821863) (← links)
- (Q4856947) (← links)
- (Q5004950) (← links)
- Supervenience, Dependence, Disjunction (Q5215498) (← links)
