Basic Model Theory for Path Predicate Modal Logic | Digital Library | PAMCET | PAMCET