We stand with Ukraine  

Lloyd Humberstone

Orcid: 0000-0003-4932-1027

According to our database1, Lloyd Humberstone authored at least 53 papers between 1977 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Contrariety re-encountered: nonstandard contraries and internal negation**.
[BibTeX]
[DOI]
Lloyd Humberstone
Log. J. IGPL, November, 2023

2022
Idempotent Variations on the Theme of Exclusive Disjunction.
[BibTeX]
[DOI]
Lloyd Humberstone
Stud Logica, 2022

2020
When is a Schema Not a Schema? On a Remark by Suszko.
[BibTeX]
[DOI]
Lloyd Humberstone
,
Allen Hazen
Stud Logica, 2020

Explicating Logical Independence.
[BibTeX]
[DOI]
Lloyd Humberstone
J. Philos. Log., 2020

Twins in Logic - Identical and Otherwise.
[BibTeX]
[DOI]
Lloyd Humberstone
FLAP, 2020

2019
Recent Thought on Is and Ought: Connections, Confluences and Rediscoveries.
[BibTeX]
[DOI]
Lloyd Humberstone
FLAP, 2019

2018
Classically Archetypal Rules.
[BibTeX]
[DOI]
Tomasz Polacik
,
Lloyd Humberstone
Rev. Symb. Log., 2018

2016
James W. Garson, Modal Logic for Philosophers. Second Edition, Cambridge University Press, Cambridge, 2013, pp. 506. ISBN: 978-1107609525 (paperback) $44.99.
[BibTeX]
[DOI]
Lloyd Humberstone
Stud Logica, 2016

An Abelian Rule for BCI - and Variations.
[BibTeX]
[DOI]
Tomasz Kowalski
,
Lloyd Humberstone
Notre Dame J. Formal Log., 2016

Note on Extending Congruential Modal Logics.
[BibTeX]
[DOI]
Lloyd Humberstone
Notre Dame J. Formal Log., 2016

2014
Prior's OIC nonconservativity example revisited.
[BibTeX]
[DOI]
Lloyd Humberstone
J. Appl. Non Class. Logics, 2014

2013
Inverse Images of Box Formulas in Modal Logic.
[BibTeX]
[DOI]
Lloyd Humberstone
Stud Logica, 2013

Aggregation and Idempotence.
[BibTeX]
[DOI]
Lloyd Humberstone
Rev. Symb. Log., 2013

Replacement in Logic.
[BibTeX]
[DOI]
Lloyd Humberstone
J. Philos. Log., 2013

2012
Minimally Congruential Contexts: Observations and Questions on Embedding E in K.
[BibTeX]
[DOI]
Lloyd Humberstone
Notre Dame J. Formal Log., 2012

2011
Variation on a Trivialist Argument of Paul Kabay.
[BibTeX]
[DOI]
Lloyd Humberstone
J. Log. Lang. Inf., 2011

On a conservative extension argument of Dana Scott.
[BibTeX]
[DOI]
Lloyd Humberstone
Log. J. IGPL, 2011

2009
Collapsing Modalities.
[BibTeX]
[DOI]
Lloyd Humberstone
Notre Dame J. Formal Log., 2009

2008
Replacing Modus Ponens With One-Premiss Rules.
[BibTeX]
[DOI]
Lloyd Humberstone
Log. J. IGPL, 2008

2007
Modal Logic for Other-World Agnostics: Neutrality and Halldén Incompleteness.
[BibTeX]
[DOI]
Lloyd Humberstone
J. Philos. Log., 2007

Investigations into a left-structural right-substructural sequent calculus.
[BibTeX]
[DOI]
Lloyd Humberstone
J. Log. Lang. Inf., 2007

The Relevant Equivalence Property.
[BibTeX]
[DOI]
Lloyd Humberstone
,
Robert K. Meyer
Log. J. IGPL, 2007

2006
Extensions of Intuitionistic Logic without the Deduction Theorem: Some Simple Examples.
[BibTeX]
[DOI]
Lloyd Humberstone
Reports Math. Log., 2006

Variations on a Theme of Curry.
[BibTeX]
[DOI]
Lloyd Humberstone
Notre Dame J. Formal Log., 2006

Identical Twins, Deduction Theorems, and Pattern Functions: Exploring the Implicative <i>BCSK</i> Fragment of S5.
[BibTeX]
[DOI]
Lloyd Humberstone
J. Philos. Log., 2006

Weaker-to-Stronger Translational Embeddings in Modal Logic.
[BibTeX]
[DOI]
Lloyd Humberstone
Proceedings of the Advances in Modal Logic 6, 2006

2004
Archetypal Forms of Inference.
[BibTeX]
[DOI]
Lloyd Humberstone
Synth., 2004

Similarity Relations and the Preservation of Solidity.
[BibTeX]
[DOI]
Allen Hazen
,
Lloyd Humberstone
J. Log. Lang. Inf., 2004

2003
False Though Partly True - An Experiment in Logic.
[BibTeX]
[DOI]
Lloyd Humberstone
J. Philos. Log., 2003

2002
The Modal Logic of Agreement and Noncontingency.
[BibTeX]
[DOI]
Lloyd Humberstone
Notre Dame J. Formal Log., 2002

2001
The Pleasures of Anticipation: Enriching Intuitionistic Logic.
[BibTeX]
[DOI]
Lloyd Humberstone
J. Philos. Log., 2001

2000
An Intriguing Logic with Two Implicational Connectives.
[BibTeX]
[DOI]
Lloyd Humberstone
Notre Dame J. Formal Log., 2000

The Revival of Rejective Negation.
[BibTeX]
[DOI]
Lloyd Humberstone
J. Philos. Log., 2000

1998
Note on Supervenience and Definability.
[BibTeX]
[DOI]
Lloyd Humberstone
Notre Dame J. Formal Log., 1998

1997
Inverses for Normal Modal Operators.
[BibTeX]
[DOI]
Lloyd Humberstone
,
Timothy Williamson
Stud Logica, 1997

Singulary Extensional Connectives: A Closer Look.
[BibTeX]
[DOI]
I. L. Humberstone
J. Philos. Log., 1997

1996
Intrinsic/extrinsic.
[BibTeX]
[DOI]
I. L. Humberstone
Synth., 1996

A Basic System of Congruential-to-Monotone Bimodal Logic and Two of its Extensions.
[BibTeX]
[DOI]
Lloyd Humberstone
Notre Dame J. Formal Log., 1996

Valuational semantics of rule derivability.
[BibTeX]
[DOI]
Lloyd Humberstone
J. Philos. Log., 1996

1995
The Logic of Non-contingency.
[BibTeX]
[DOI]
Lloyd Humberstone
Notre Dame J. Formal Log., 1995

1993
Functional dependencies, supervenience, and consequence relations.
[BibTeX]
[DOI]
I. L. Humberstone
J. Log. Lang. Inf., 1993

1990
Expressive power and semantic completeness: Boolean connectives in modal logic.
[BibTeX]
[DOI]
I. L. Humberstone
Stud Logica, 1990

1988
Operational semantics for positive R.
[BibTeX]
[DOI]
I. L. Humberstone
Notre Dame J. Formal Log., 1988

The lattice of extensional connectives: A correction.
[BibTeX]
[DOI]
Lloyd Humberstone
J. Philos. Log., 1988

1987
The modal logic of 'all and only'.
[BibTeX]
[DOI]
I. L. Humberstone
Notre Dame J. Formal Log., 1987

1986
Semicomplemented Lattices and the Finite Model Property.
[BibTeX]
[DOI]
I. L. Humberstone
,
A. J. Lock
Math. Log. Q., 1986

Extensionality in sentence position.
[BibTeX]
[DOI]
Lloyd Humberstone
J. Philos. Log., 1986

1983
Halldén-completeness by gluing of Kripke frames.
[BibTeX]
[DOI]
I. L. Humberstone
,
J. F. A. K. van Benthem
Notre Dame J. Formal Log., 1983

Inaccessible worlds.
[BibTeX]
[DOI]
I. L. Humberstone
Notre Dame J. Formal Log., 1983

1981
Meeting of the Association for Symbolic Logic: Melbourne, Australia 1979.
[BibTeX]
[DOI]
John N. Crossley
,
Lloyd Humberstone
J. Symb. Log., 1981

From worlds to possibilities.
[BibTeX]
[DOI]
I. L. Humberstone
J. Philos. Log., 1981

1979
Interval semantics for tense logic: Some remarks.
[BibTeX]
[DOI]
I. L. Humberstone
J. Philos. Log., 1979

1977
Two systems of presupposition logic.
[BibTeX]
[DOI]
J. M. Bell
,
Lloyd Humberstone
Notre Dame J. Formal Log., 1977


  Loading...