External Links

    Journal: FLAP

    Volume 6, Issue 3

    431 -- 446Peter B. M. Vranas. New Foundations for Imperative Logic IV: Natural Deduction
    447 -- 468Asad Ahmed, Osman Hasan, Ammar Hasan. Formal Periodic Steady-State Analysis of Power Converters in Time-Domain
    469 -- 512Yassmeen Elderhalli, Waqar Ahmad, Osman Hasan, Sofiène Tahar. Probabilistic Analysis of Dynamic Fault Trees using HOL Theorem Proving
    513 -- 522Ruurik Holm. A Novel Criterion for Rejecting the Non-Inductive Method
    523 -- 608Frederik Van De Putte, Mathieu Beirlaen, Joke Meheus. Adaptive Deontic Logics: A Survey
    runs on