View of First-order transitional modal logics of quasiary predicates with equality

Return to Article Details First-order transitional modal logics of quasiary predicates with equality Download Download PDF