A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic.

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

Authors: J.-J. Ch. Meyer

A first-order logic of knowledge and belief with identity. I.

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

Authors: Scott K. Lehmann

First-degree entailments and information.

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

Authors: William H. Hanson

Probabilistic considerations on modal semantics.

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

Authors: R. E. Jennings | P. K. Schotch

Word problems for bidirectional, single-premise Post systems.

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

Authors: Charles E. Hughes | David W. Straight

On the eliminability of de re modalities in some systems.

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

Authors: Jonathan Broido

A more satisfactory description of the semantics of justification.

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

Authors: John T. Kearns

A species-algebraic interpretation of the intuitionistic propositional calculus.

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

Authors: Jekeri Okee

Algèbre et logique tripolaire.

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

Authors: Léon Birnbaum

A calculus of matrical descriptors.

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

Authors: David Meredith

What does Ockham mean by `supposition'?

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

Authors: Marilyn McCord Adams

Completeness of the algebra of species.

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

Authors: Jekeri Okee

On Nachbin's characterization of a Boolean lattice.

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

Authors: William H. Cornish

An extension of Venn diagrams.

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

Authors: Gerald J. Massey

On prosleptic syllogisms.

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

Authors: Czesław Lejewski

A Deontic Counterpart of Lewis's S1

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

Authors: R. E. Jennings | Kam Sing Leung

On general purpose unifying automata.

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

Authors: D. L. Székely

Note on Frege's Begriffsschrift.

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

Authors: Ignacio Angelelli | Terrell Ward Bynum

A note on ${rm Bd},X$.

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

Authors: Michael C. Gemignani

The determination of all Sheffer functions in $3$-valued logic, using a logical computer.

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

Authors: Eric Foxley