Facet browsing currently unavailable
Page 1 of 2716 results
Sort by: relevance publication year
Equational classes of relative Stone algebras. JOURNAL ARTICLE published 1 April 1972 in Notre Dame Journal of Formal Logic |
Ages of Expansions of ω-Categorical Structures JOURNAL ARTICLE published 1 July 2007 in Notre Dame Journal of Formal Logic |
The Ontology of Impossible Worlds JOURNAL ARTICLE published 1 October 1997 in Notre Dame Journal of Formal Logic |
Strange Structures from Computable Model Theory JOURNAL ARTICLE published 1 January 2017 in Notre Dame Journal of Formal Logic |
Indiscernible Extraction and Morley Sequences JOURNAL ARTICLE published 1 January 2017 in Notre Dame Journal of Formal Logic |
Locally Finite Reducts of Heyting Algebras and Canonical Formulas JOURNAL ARTICLE published 1 January 2017 in Notre Dame Journal of Formal Logic |
Models as Universes JOURNAL ARTICLE published 1 January 2017 in Notre Dame Journal of Formal Logic |
Concerning some extensions of ${rm S}4$. JOURNAL ARTICLE published 1 July 1971 in Notre Dame Journal of Formal Logic |
On how best to make sense of Leśniewski's ontology. JOURNAL ARTICLE published 1 February 1973 in Notre Dame Journal of Formal Logic |
The logic of intending and believing. JOURNAL ARTICLE published 1 October 1975 in Notre Dame Journal of Formal Logic |
The completeness of $S1$ and some related systems. JOURNAL ARTICLE published 1 October 1972 in Notre Dame Journal of Formal Logic |
Projective bigraphs with recursive operations. JOURNAL ARTICLE published 1 April 1978 in Notre Dame Journal of Formal Logic |
Stable groups, mostly of finite exponent. JOURNAL ARTICLE published 1 March 1993 in Notre Dame Journal of Formal Logic |
A general propositional logic of conditionals. JOURNAL ARTICLE published 1 January 1979 in Notre Dame Journal of Formal Logic |
Is epistemic logic possible? JOURNAL ARTICLE published 1 October 1972 in Notre Dame Journal of Formal Logic |
Duals of Smullyan trees. JOURNAL ARTICLE published 1 July 1972 in Notre Dame Journal of Formal Logic |
Peter van Inwagen, Substitutional Quantification, and Ontological Commitment JOURNAL ARTICLE published 1 January 2014 in Notre Dame Journal of Formal Logic |
Classical Consequences of Continuous Choice Principles from Intuitionistic Analysis JOURNAL ARTICLE published 1 January 2014 in Notre Dame Journal of Formal Logic |
On Existence in Set Theory, Part II: Relative Productivity JOURNAL ARTICLE published 1 January 2014 in Notre Dame Journal of Formal Logic |
Beneš’s Partial Model of NF: An Old Result Revisited JOURNAL ARTICLE published 1 January 2014 in Notre Dame Journal of Formal Logic |