TY  - RPRT
TI  - Basic Model Theory for Path Predicate Modal Logic
AU  - Raul Fervari
AU  - Santiago Figueira
AU  - Gabriel Goren-Roig
AU  - Leonardo Torres
PY  - 2026
DO  - 10.4204/eptcs.449.6
UR  - https://arxiv.org/abs/2607.20183
ID  - 2607.20183
ER  -