Basic Model Theory for Path Predicate Modal Logic

Raul Fervari, Santiago Figueira, Gabriel Goren-Roig +1

Path Predicate Modal Logic (PPML) is a generalization of Basic Modal Logic, where atoms are relational predicates instead of propositional symbols. The study of PPML is motivated a…