… the Association for Symbolic Logic was held virtually, hosted by Notre Dame University, on …
Association for Symbolic Logic, the National Science Foundation, and Notre Dame University. …

… The Association for Symbolic Logic publishes analytical reviews of … of symbolic logic. The
reviews were published in The Journal of Symbolic Logic from the founding of the journal in …

… This author index gives a complete listing of all articles published in the Notre Dame Journal
of Formal Logic, Volumes XVI-XX (1975-1979). It is arranged alphabetically by surnames of …

… -based temporal logic which was defined by Halpern and Shoham. It is proved that this
logic has a greater capacity to distinguish frames than any temporal logic based on points and …

… \s\ is characteristic for S, we have that S is a sub logic of the identity logic. … logic that is closed
under monotony. Then S is a sublogic of the identity logic, or the zero logic, or the unit logic. …

… Notre Dame Journal of Formal Logic Volume 40, Number 1, … It was only at the Notre Dame
conference that I learned of the … Boolos’s papers under the title, Logic, Logic and Logic [9…

… Notre Dame Journal of Formal Logic is published quarterly by the University of Notre Dame
… Orders for subscriptions and back volumes (accompanied by payment), and changes of …

… 78 [3] Fan, J., “Strong noncontingency: On the modal logics of an operator expressively
weaker than necessity,” Notre Dame Journal of Formal Logic, vol. 60 (2019), pp. 407–35. …

… Notre Dame Journal of Formal Logic Volume 39, Number 3, Summer 1998 … Englebretsen
(called “term logic” or TL) works for the propositions and inferences of my “numerical logic” (NL)…

… Truth value semantics for a logic of existence, Notre Dame Journal of Formal Logic 12, pp. …
intuitionistic predicate calculus, Journal of Symbolic Logic 33, pp. 1-7, 1968. [Trew, 1970] A. …