Nuel Belnap

25 papers B 1Journal 22Unranked 1
YearRankTypeTitle / Venue / Authors
2021 J jnl
New Foundations for Branching Space-Times.
Stud Logica
Nuel Belnap, Thomas Müller, Tomasz Placek
2014 J jnl
BH-CIFOL: Case-Intensional First Order Logic.
J. Philos. Log.
Nuel Belnap, Thomas Müller
2014 J jnl
CIFOL: Case-Intensional First Order Logic.
J. Philos. Log.
Nuel Belnap, Thomas Müller
2012 J jnl
Indeterminism is a modal notion: branching spacetimes and Earman's pruning.
Synth.
Tomasz Placek, Nuel Belnap
2012 J jnl
Newtonian determinism to branching space-times indeterminism in two moves.
Synth.
Nuel Belnap
2011 J jnl
Prolegomenon to norms in branching space-times.
J. Appl. Log.
Nuel Belnap
2010 J jnl
Generalized truth values.: A reply to Dubois.
Log. J. IGPL
Heinrich Wansing, Nuel Belnap
2009 J jnl
Truth Values, Neither-true-nor-false, and Supervaluations.
Stud Logica
Nuel Belnap
2008 J jnl
Funny business in branching space-times: infinite modal correlations.
Synth.
Thomas Müller, Nuel Belnap, Kohei Kishida
2008 — conf
Norms in Branching Space-Times.
DEON
Nuel Belnap
2006 J jnl
How Causal Probabilities Might Fit into Our Objectively Indeterministic World.
Synth.
Matthew Weiner, Nuel Belnap
2005 — ch.
Agents and Agency in Branching Space-Times.
Logic, Thought and Action
Nuel Belnap
2005 J jnl
Under Carnap's Lamp: Flat Pre-semantics.
Stud Logica
Nuel Belnap
1995 B conf
Linear Analytic Tableaux.
TABLEAUX
Robert K. Meyer, Michael A. McRobbie, Nuel Belnap
1995 J jnl
The deliberative stit: A study of action, omission, ability, and obligation.
J. Philos. Log.
John F. Horty, Nuel Belnap
1993 J jnl
In the Realm of Agents.
Ann. Math. Artif. Intell.
Nuel Belnap, Michael Perloff
1992 J jnl
The Way of the Agent.
Stud Logica
Nuel Belnap, Michael Perloff
1990 J jnl
Linear Logic Displayed.
Notre Dame J. Formal Log.
Nuel Belnap
1990 J jnl
Semantic holism.
Stud Logica
Nuel Belnap, Gerald J. Massey
1970 J jnl
Every functionally complete m-valued logic has a Post-complete axiomatization.
Notre Dame J. Formal Log.
Nuel Belnap, Storrs McCall
1962 J jnl
The Pure Calculus of Entailment.
J. Symb. Log.
Alan Ross Anderson, Nuel Belnap
1960 J jnl
Entailment and Relevance.
J. Symb. Log.
Nuel Belnap
1960 J jnl
Twenty-Sixth Annual Meeting of the Association for Symbolic Logic.
J. Symb. Log.
Nuel Belnap
1959 J jnl
A Simple Treatment of Truth Functions.
J. Symb. Log.
Alan Ross Anderson, Nuel Belnap
1959 J jnl
Modalities in Ackermann's "Rigorous Implication".
J. Symb. Log.
Alan Ross Anderson, Nuel Belnap