External Links

    Journal: Journal of Logic and Computation

    Volume 17, Issue 4

    615 -- 0Ian Horrocks. Logic for Ontology Engineering Corner
    617 -- 637Boris Motik. On the Properties of Metamodeling in OWL
    639 -- 685Jeremy Forth, Rob Miller 0002. Ramifications: An Extension and Correspondence Result for the Event Calculus
    687 -- 726Nicolas Biri, Didier Galmiche. Models and Separation Logics for Resource Trees
    727 -- 747Zhaohui Zhu, Wenjie Xiao. Two Representation Theorems for Non-monotonic Inference Relations
    749 -- 765Stefano Aguzzoli, Manuela Busaniche, Vincenzo Marra. Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications
    767 -- 794Rajeev Goré, Alwen Tiu. Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5
    795 -- 806Joseph Y. Halpern, Leandro Chaves Rêgo. Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic
    807 -- 841Joey W. Coleman, Cliff B. Jones. A Structural Proof of the Soundness of Rely/guarantee Rules
    runs on