Nuel Belnap

Publication Activity (10 Years)

Years Active: 1959-2021
Publications (10 Years): 1

Top Topics

First Order Logic

Markov Logic Networks

Propositional Logic

Quantifier Free

Top Venues

J. Philos. Log.

Publications

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