Nuel Belnap

According to our database, Nuel Belnap authored at least 34 papers between 1959 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

New Foundations for Branching Space-Times.

Nuel Belnap, Thomas Müller, Tomasz Placek

Stud Logica, 2021

2014

CIFOL: Case-Intensional First Order Logic.

Nuel Belnap, Thomas Müller

J. Philos. Log., 2014

BH-CIFOL: Case-Intensional First Order Logic.

Nuel Belnap, Thomas Müller

J. Philos. Log., 2014

2012

Indeterminism is a modal notion: branching spacetimes and Earman's pruning.

Tomasz Placek, Nuel Belnap

Synth., 2012

Newtonian determinism to branching space-times indeterminism in two moves.

Nuel Belnap

Synth., 2012

2011

Prolegomenon to norms in branching space-times.

Nuel Belnap

J. Appl. Log., 2011

2010

Generalized truth values.: A reply to Dubois.

Heinrich Wansing, Nuel Belnap

Log. J. IGPL, 2010

2009

Truth Values, Neither-true-nor-false, and Supervaluations.

Nuel Belnap

Stud Logica, 2009

2008

Funny business in branching space-times: infinite modal correlations.

Thomas Müller, Nuel Belnap, Kohei Kishida

Synth., 2008

Norms in Branching Space-Times.

Nuel Belnap

Proceedings of the Deontic Logic in Computer Science, 9th International Conference, 2008

2006

How Causal Probabilities Might Fit into Our Objectively Indeterministic World.

Matthew Weiner, Nuel Belnap

Synth., 2006

2005

Agents and Agency in Branching Space-Times.

Nuel Belnap

Proceedings of the Logic, Thought and Action, 2005

Under Carnap's Lamp: Flat Pre-semantics.

Nuel Belnap

Stud Logica, 2005

2000

Double Time References: Speech-act Reports as Modalities in an Indeterminist Setting.

Nuel D. Belnap Jr.

Proceedings of the Advances in Modal Logic 3, 2000

1995

The deliberative stit: A study of action, omission, ability, and obligation.

John F. Horty, Nuel Belnap

J. Philos. Log., 1995

Linear Analytic Tableaux.

Robert K. Meyer, Michael A. McRobbie, Nuel Belnap

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1995

1993

In the Realm of Agents.

Nuel Belnap, Michael Perloff

Ann. Math. Artif. Intell., 1993

1992

The Way of the Agent.

Nuel Belnap, Michael Perloff

Stud Logica, 1992

1990

Semantic holism.

Nuel Belnap, Gerald J. Massey

Stud Logica, 1990

Linear Logic Displayed.

Nuel Belnap

Notre Dame J. Formal Log., 1990

1982

Display logic.

Nuel D. Belnap Jr.

J. Philos. Log., 1982

Gupta's rule of revision theory of truth.

Nuel D. Belnap Jr.

J. Philos. Log., 1982

1980

A consecutive calculus for positive relevant implication with necessity.

Nuel D. Belnap Jr., Anil Gupta, J. Michael Dunn

J. Philos. Log., 1980

1972

<i>S-P</i> interrogatives.

Nuel D. Belnap Jr.

J. Philos. Log., 1972

1970

Every functionally complete m-valued logic has a Post-complete axiomatization.

Nuel Belnap, Storrs McCall

Notre Dame J. Formal Log., 1970

1967

Intensional Models for First Degree Formulas.

Nuel D. Belnap Jr.

J. Symb. Log., 1967

1963

A rule-completeness theorem.

Nuel D. Belnap Jr., Richmond H. Thomason

Notre Dame J. Formal Log., 1963

On not strengthening intuitionistic logic.

Nuel D. Belnap Jr., Hugues Leblanc, Richmond H. Thomason

Notre Dame J. Formal Log., 1963

1962

Intuitionism reconsidered.

Nuel D. Belnap Jr., Hugues Leblanc

Notre Dame J. Formal Log., 1962

The Pure Calculus of Entailment.

Alan Ross Anderson, Nuel Belnap

J. Symb. Log., 1962

1960

Twenty-Sixth Annual Meeting of the Association for Symbolic Logic.

Nuel Belnap

J. Symb. Log., 1960

Entailment and Relevance.

Nuel Belnap

J. Symb. Log., 1960

1959

A Simple Treatment of Truth Functions.

Alan Ross Anderson, Nuel Belnap

J. Symb. Log., 1959

Modalities in Ackermann's "Rigorous Implication".

Alan Ross Anderson, Nuel Belnap

J. Symb. Log., 1959