External Links

    Journal: Notre Dame Journal of Formal Logic

    Volume 39, Issue 3

    287 -- 306Krister Segerberg. Irrevocable Belief Revision in Dynamic Doxastic Logic
    307 -- 324Eugenio Chinchilla. A Model of inside a Subexponential Time Resource
    325 -- 331Akito Tsuboi, Kentaro Wakai. On Interpretability of Almost Linear Orderings
    332 -- 345Eduardo L. Fermé, Ricardo Oscar Rodríguez. Semi-Contraction: Axioms and Construction
    346 -- 362Wallace A. Murphree. Numerical Term Logic
    363 -- 388Zlatan Damnjanovic. Strictly Primitive Recursive Realizability, II. Completeness with Respect to Iterated Reflection and a Primitive Recursive-Rule
    389 -- 405Leon Horsten. A Kripkean Approach to Unknowability and Truth
    406 -- 421Bernhard Heinemann. Topological Modal Logics Satisfying Finite Chain Conditions
    422 -- 435Stephen Pollard. Homeomorphism and the Equivalence of Logical Systems
    436 -- 445Jean-Pierre Marquis. Book Review: Colin McLarty. Elementary Categories, Elementary Toposes.
    runs on