Functional Dependence in Strategic Games

JOURNAL ARTICLE published 1 January 2016 in Notre Dame Journal of Formal Logic

Authors: Kristine Harjes | Pavel Naumov

Canjar Filters

JOURNAL ARTICLE published 1 January 2017 in Notre Dame Journal of Formal Logic

Authors: Osvaldo Guzmán | Michael Hrušák | Arturo Martínez-Celis

Free ${rm S}5$ algebras.

JOURNAL ARTICLE published 1 January 1978 in Notre Dame Journal of Formal Logic

Authors: Alfred Horn

Closed Maximality Principles and Generalized Baire Spaces

JOURNAL ARTICLE published 1 May 2019 in Notre Dame Journal of Formal Logic

Authors: Philipp Lücke

Kripke's deontic semantics again.

JOURNAL ARTICLE published 1 October 1973 in Notre Dame Journal of Formal Logic

Authors: John Bacon

Semi-intuitionistic set theory.

JOURNAL ARTICLE published 1 October 1972 in Notre Dame Journal of Formal Logic

Authors: Lawrence J. Pozsgay

Note on inductive finiteness in mereology.

JOURNAL ARTICLE published 1 January 1972 in Notre Dame Journal of Formal Logic

Authors: Robert E. Clay

Frege against the Booleans.

JOURNAL ARTICLE published 1 January 1987 in Notre Dame Journal of Formal Logic

Authors: Hans Sluga

Toward a Model Theory for Transseries

JOURNAL ARTICLE published 1 January 2013 in Notre Dame Journal of Formal Logic

Authors: Matthias Aschenbrenner | Lou van den Dries | Joris van der Hoeven

An independence result concerning infinite products of alephs.

JOURNAL ARTICLE published 1 April 1978 in Notre Dame Journal of Formal Logic

Authors: John L. Hickman

Vaught’s Conjecture Without Equality

JOURNAL ARTICLE published 1 January 2015 in Notre Dame Journal of Formal Logic

Authors: Nathanael Leedom Ackerman

Witt Vectors and Separably Closed Fields with Higher Derivations

JOURNAL ARTICLE published 1 May 2023 in Notre Dame Journal of Formal Logic

Authors: Daniel Max Hoffmann

Definability of Boolean Functions in Kripke Semantics

JOURNAL ARTICLE published 1 August 2023 in Notre Dame Journal of Formal Logic

Authors: Naosuke Matsuda

In Memoriam: Yoram Hirshfeld

JOURNAL ARTICLE published 1 November 2022 in Notre Dame Journal of Formal Logic

Terence Tao, Hilbert’s Fifth Problem and Related Topics. American Mathematical Society, Providence, 2014. 338 pp.

JOURNAL ARTICLE published 1 November 2022 in Notre Dame Journal of Formal Logic

Authors: Isaac Goldbring

A correction in Copi's account of Boolean normal forms.

JOURNAL ARTICLE published 1 February 1973 in Notre Dame Journal of Formal Logic

Authors: Alex Blum

A result of extending Bochvar's $3$-valued logic.

JOURNAL ARTICLE published 1 April 1974 in Notre Dame Journal of Formal Logic

Authors: Kenneth W. Collier

Moore's proposition $W$.

JOURNAL ARTICLE published 1 January 1972 in Notre Dame Journal of Formal Logic

Authors: James Cargile

The octagon of opposition.

JOURNAL ARTICLE published 1 July 1975 in Notre Dame Journal of Formal Logic

Authors: Edward A. Hacker

A note on a consistency proof.

JOURNAL ARTICLE published 1 January 1974 in Notre Dame Journal of Formal Logic

Authors: Frank Fox