Mundus qui fieri non potest
Mundus qui fieri non potest, aliquando mundus non normalis appellatus, in logica philosophica est notio ad certas res disputandas quae satis per notionem usitatorum mundorum qui fieri possunt tractari non possunt. Mundus qui fieri non potest, w, est eadem res ac mundus qui fieri potest (quidquid sit), quamquam nonnullis sensibus "non fieri potest" sit. Ergo in variis contextibus, nonnullae contradictiones ad w verae sint, usitatae leges logicae metaphysicaeve falsae sunt, aut ambo.

Logica modalis
Realismus modalis
Saul Kripke
Paradoxum Currianum
Intuitionismus

Bibliographia
 Kripke, Saul. 1965. Semantical analysis of modal logic, II: non-normal modal propositional calculi. In The Theory of Models, ed. J. W. Addison, L. Henkin, et A. Tarski. Amstelodami: North Holland.
Kripke, Saul. 1971. Semantical considerations on modal logic. In Reference and modality, ed. Leonard Linsky. Londinii: Oxford University Press. ISBN 019875017X.
Priest, Graham, ed. 1997. Notre Dame Journal of Formal Logic 38(4). Praecipua editio de mundis qui fieri non possunt. Table of contents
Priest, Graham. 2001. An Introduction to Non-Classical Logic. Cantabrigiae: Cambridge University Press.

Nexus externi
Zalta, Edward N. A classically-based theory of impossible worlds. Notre Dame Journal of Formal Logic 38(4): 640–660. PDF.

Logica modalis
Mundi qui fieri possunt