Notre Dame Journal of Formal Logic 

About: Notre Dame Journal of Formal Logic is an academic journal published by Duke University Press. The journal publishes majorly in the area(s): Modal logic & Intermediate logic. It has an ISSN identifier of 0029-4527. Over the lifetime, 2137 publications have been published receiving 23872 citations.

A calculus of individuals based on ``connection''.

Abstract: Calcul des individus, dans la ligne de la mereologie de Lesniewski et de ses developpements philosophiques chez Whitehead et Goodman Le calcul comprend trois parties: une partie mereologique (systematisation des predicats mereologiques), partie quasi booleenne (introduction des operateurs booleens et de l'individu universel), partie quasi topologique (introduction de predicats topologiques)

Impossible Worlds: A Modest Approach

Abstract: Reasoning about situations we take to be impossible is useful for a variety of theoretical purposes. Furthermore, using a device of impossible worlds when reasoning about the impossible is useful in the same sorts of ways that the device of possible worlds is useful when reasoning about the possible. This paper discusses some of the uses of impossible worlds and argues that commitment to them can and should be had without great metaphysical or logical cost. The paper then provides an account of reasoning with impossible worlds, by treating such reasoning as reasoning employing counterpossible conditionals, and provides a semantics for the proposed treatment.